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

(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?

(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

S= is starving H = is healthy A = is alrightP = 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.