2. Any General All A BNo A BSome A B Any A B #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

3. Any General All A BNo A BSome A B Any A B All A B $x(Ax>Bx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

4. Not Any General All A BNo A BSome A B Not any A B #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

5. Not Any General All A BNo A BSome A B Not any A B No A B Not some A B #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

6. Not Any General All A BNo A BSome A B Not any A B There are not any COOKIES in the JAR. #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

7. Not Any General All A BNo A BSome A B Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR. #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

8. Not Any General All A BNo A BSome A B Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR. Not some COOKIES are in the JAR. #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

9. Not Any General All A BNo A BSome A B Not any A B There are not any COOKIES in the JAR. No COOKIES are in the JAR. Not some COOKIES are in the JAR. -#x(Cx&Jx) $x(Cx>-Jx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

10. ‘A’ can mean ‘all’ General All A BNo A BSome A B An A is B A PENCIL is on the DESK. #x(Px&Dx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

11. ‘A’ can mean ‘all’ General All A BNo A BSome A B An A is B A WHALE is a MAMMAL. $x(Wx>Mx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

12. ‘The’ can mean ‘all’ General All A BNo A BSome A B The A is B The WHALE is a MAMMAL. $x(Wx>Mx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

13. As are Bs General All A BNo A BSome A B As are Bs WHALES are MAMMALS. $x(Wx>Mx) #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)

14. The Road Map A road map for predicate logic translation. Is the statement singular? Yes No General All A BNo A BSome A B Pn #x(Ax&Bx) $x(Ax>Bx) -#x(Ax&Bx) $x(Ax>-Bx)