Sample: John seeks a unicorn. John finds a unicorn. Necessarily John walks. John is Bill. John is a unicorn. John believes that a unicorn talks. Every woman loves a unicorn. Every woman loves John. A unicorn walks and it talks. Every unicorn such that it walks talks. John walks slowly. John walks in a park. John wishes to find a unicorn and eat it. A man or a woman is asleep. A man is asleep or a woman is asleep. A man or a woman loves every unicorn. A man loves every unicorn or a woman loves every unicorn. Every unicorn walks or talks. John has sought a unicorn. John will seek a unicorn. A unicorn is eaten by John. Every unicorn is not a man. Every man loves a woman such that she loves him.