prenex normal form

Admiralty Board Arcusa Biffins bridges Condé-sur-Noireau Earth Week foreign atoms Gondoriz household production ideal of an algebraic set laser gauge Lia-ochih motor operated horn not-men psychoauditory area ritzs safety clothes secondary hardness spray head There are more ways than to skin a cat. work the clock round