Moreover, we can use similar constraints to prevent logical forms that are highly unlikely according to our prior knowledge.
we define once(z) to be true iff each date, named entity, and number in the logical form z appear exactly once.