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

  1. \(\interp{\text{Every man and John walk}} = (\forall x. man'x \to walk'x) \land walk'j'\)

  2. \(\text{Every woman who loves John walks} = \forall x. woman'x \land love'j'x \to walk'x\) .
  3. \(\text{Every woman whom John loves walks} = \forall x. woman'x \land love'x\,j' \to walk'x\) .

Updated: