Homework on §7.3—assigned Fri 11/4 and due Mon 11/7

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

Ken looked in every nook and cranny, but he didn't find any coins

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

(∀x: Pxn) (Mx → ¬ Fn)

[F: λx (x functioned properly); M: λx (x was missing); P: λxy (x is a part of y); n: the unit].