Archer Sentences

Note: A username and password may be required to access certain documents. Please contact Bill Rapaport.

Here are some more sentences for you to try to translate into FOL.
They will prove helpful later on in the semester.

Syntax & Semantics for Translation

Syntax	Semantics
Archer(x)	x is an archer
HasArrows(x)	x has arrows
Target(x)	x is an target
Hits(x,y)	x hits y

1. Every archer has arrows.

2. Some archers have no arrows.

3. Every archer hits a target.

4. Every target is hit by some archer.

5. Every archer hits his own target.
   • An alternative way to say the exact same thing:
     • Every archer hits a different target.

6. No archer hits more than one target.

   Answers (don't look until you've tried these!)