Part A

Vocab words

• Objects
• Relations (Relatings)
• Functions (include domain)
• Reify (Reification)

Work up examples in the FirstOrderAgentSyntax (although you can branch out)

• Do a couple of complex sentences without quantifiers (and explain in English)
• Do a couple of sentences with universal quantifier and diagram them
• Do a couple of sentences with existential quantifier and diagram them
• Do a couple of sentences nesting the quantifiers and diagram them

What do we mean by diagramming? Like always, I don't want to constrain you by what I do. What I did in class was annotate the sentence. You need to

• tell us what the variables stand for;
• put parentheses in to make the precedence explicit;
• explain all the logic symbols;
• translate the sentence into English.

When I 'diagram' more complicated sentences, I tend to literally diagram them, to draw them, or parts of them, in some way. Experiment, see what works for you.