If the space of possible logical forms is open-ended, computing a probability distribution over them...