Write the needed lexical categories (phon, syn, sem) and derive the logical forms of the following sentences:

  1. @@math_item content=\(\interp{\text{Every man and John walk}} = (\forall x. man'x \to walk'x) \land walk'j'\)@@
  2. @@math_item content=\(\text{Every woman who loves John walks} = \forall x. woman'x \land love'j'x \to walk'x\)@@.
  3. @@math_item content=\(\text{Every woman whom John loves walks} = \forall x. woman'x \land love'x\,j' \to walk'x\)@@.

Updated: