1. No man will lift a lance against another. There never was much undergrowth in Boeotia, Such a smooth place, and this girl takes after it. All woes shall then have ending and great Zeus the Thunderer shall put above what was below before. (x) (Wx > Ex). Pz (x) (Mx > ~Lx) ~(3x) (Ux. Bx) / Sb. Sg Examples from Lysistrata

2. (x) [Tx > (Sx v Lx)] Thrives in the desert, Snake, Lizard (x) {[Ox v Lx) > (Fx. Cx)]} Orange, Lemon, Fruit, Citrus (x) [(Rx. Ax) > (Cx. Dx)] Ripe, Apple, Crunchy, Delicious (x) [Ax > (Bx ≡ Fx)] Azalea, Bloom, Fertilize (x) [Px > (~Rx > Ex)] Peach, Edible, Rotten (x) [(Px > (Ex v Rx)] Peach, Edible, Rotten What do these say in ordinary English?

3. (x) {(Cx v Dx) > [(Fx v Hx) > Bx]} Cat, Dog, Frighten, Harass, Bite (x) (Ax > Bx) (x) (Bx > Cx) / (x) (Ax > Cx) (x) (Cx > Ax) ~Am / (Зx) ~ Cx

4. S= is starving H = is healthy A = is alright P = is a panda 1. (x) Ax > (x) (Px > Hx) 2. (x) [(Px. Sx) > ~Hx] 3. (Pg. Pb). (Sg. Sb)/ (Зx) ~Ax If everything is alright, the pandas are healthy. No starving pandas are healthy. George and Bob are pandas that are starving, so something’s not right.