Homework on §7.4—assigned Mon 11/7 and due Wed 11/9

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

No one spoke to everyone

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

∀x (∀y: Py ∧ Syx) Syt

[P: λx (x is a person); S: λxy (x spoke to y); t: Tom]