Demo page of
PTQ
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.