ants
${Joan}$ and ${Kevin}$, with the obvious meanings, express each of
the following sentences in first-order logic. (You may use the
abbreviation $\exists^{1}$ to mean “there exists exactly one.”)<br />

1.  Joan has a daughter (possibly more than one, and possibly sons
    as well).<br />

2.  Joan has exactly one daughter (but may have sons as well).<br />

3.  Joan has exactly one child, a daughter.<br />

4.  Joan and Kevin have exactly one child together.<br />

5.  Joan has at least one child wi