All of the following problems are from Brachman & Levesque, Ch. 2,
§2.7:
p. 28: 1
This asks you to provide logical interpretations that make
certain wffs true or false. In your answer, please provide the domains
(D) of interpretation, the interpretations of the predicates and
constants, and explanations of why each wff is true or false.
p. 29: 3a-3b
Please use the syntax and semantics given in the text to
translate certain English sentences into FOL. You are then asked to
prove that certain semantic entailments hold among these.
p. 30: 4
Please use the syntax and semantics given in the text to
translate certain English sentences into FOL. You are then asked to
prove that certain semantic entailments hold among these.
or 
material is highlighted