baruffio

baruffio

0p

1 comments posted · 1 followers · following 0

10 years ago @ The Toast - Turning Poetry Into Ma... · 0 replies · +5 points

I tried to more faithfully bring out the logical form of the poem. I lost consciousness at some point while writing this down so it's going to be wrong:

∃x∃y(x ≠ y ∧ ROOT(x) ∧ ROOT(y) ∧ ∃z(CLUTCHES(x,z) ∧ ∃w(CLUTCHES(y,w))) ∧ ∀u((ROOT(x) ∧ CLUTCHES(x,z)) → u = x ∨ u = y ))

∃x∃y(x n y) ∧ BRANCH(x) ∧ BRANCH(y) and ∃z(STONY(z) ∧ RUBBISH(z) ∧ DEMONSTRATED(z) ∧ GROWS(x,z) ∧ GROWS(y,z))

∀x(∃y((MAN(y) ∧ SON(x,y)) → (¬∃z∃w(SAY(z,(ROOT(z) ∧ CLUTCHES(z,w)))) ∧ ¬∃u∃v(SAY(z,(BRANCH(u) ∧ STONY(v) ∧ RUBBISH(v) ∧ DEMONSTRATED(v) ∧ GROWS(u,v))))) ∧ (¬∃t∃s(GUESS(t,(ROOT(t) ∧ CLUTCHES(t,s)))) ∧ ¬∃r∃q(GUESS(t,(BRANCH(r) ∧ STONY(q) ∧ RUBBISH(q) ∧ DEMONSTRATED(q) ∧ GROWS(r,q)))))))

∀x(∃y((MAN(y) ∧ SON(x,y)) → ∃z∃ws(BROKEN(ws) ∧ IMAGE(ws) ∧ ∃u∃v∃t∃r∃n(SUN(v) ∧ ∀t(SUN(t) → t = v) ∧ BEATS(v,u) ∧ LOCATED_AT(z,v) ∧ TREE(t) ∧ DEAD(t) ∧ ∀s(TREE(s) ∧ DEAD(s) → t = s) ¬∃o(SHELTER(o) ∧ GIVES(t,o,x)) ∧ LOCATED_AT(t,v) ∧ CRICKET(r) ∧ ∀q(CRICKET(q) → r = q) ∧ ¬∃p(RELIEF(p) ∧ GIVES(r,p,x)) ∧ LOCATED_AT(r,v) ∧ STONE(n) ∧ DRY(n) ∧ ∀m((STONE(m) ∧ DRY(m)) m = n) ∧ ¬∃l∃k(WATER(k) ∧ l = SOUND(k) ∧ GIVES(n,l,x)) ∧ LOCATED_AT(n,v)) ∧ z = HEAP(ws) ∧ KNOW(x,z) ∧ ∀u(KNOW(x,u) → u = z))))

∃x∃y(SHADOW(x) ∧ ROCK(y) ∧ RED(y) ∧ DEMONSTRATED(y) ∧ UNDER(x,y))

∃x∃y∃z∃w∃u(SPEAKER(x) ∧ AUDIENCE(y) ∧ ∃v(TIME(v) ∧ BEFORE(v,NOON) ∧ z = SHADOW_OF_AT(y,v) ∧ STRIDES_BEHIND(z,y) ∧ ∃t(TIME(t) ∧ AFTER(t,NOON) ∧ u = SHADOW_OF_AT(y,t) ∧ RISES_TO_MEET(u,y) ∧ WILL(SHOW(x,y,w) ∧ w ≠ u ∧ w ≠ z HANDFUL_OF_DUST(w)))))