Homework on §7.2—assigned Wed 11/3 and due Fri 11/5

(i) Analyze and restate the result using unrestricted quantifiers:

Dan checked every pocket, but he had only coins

(ii) Synthesize an English sentence that has the following analysis:

(∀x: Ix) ¬ Sxc
[I: λx (x is an inspector); S: λxy (x saw y); c: the crack]