Quote (garbo @ 24 Sep 2011 18:34)
Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo.
Given domain = the set of all buffalo (animal), FB(x) = 'x is from Buffalo (place)' and B(x, y) = 'x buffalos (verb) y', the sentence can be translated into first order logic as follows: \forall x (\exists y (FB(x) \wedge FB(y) \wedge B(y, x)) \to \exists z (FB(z) \wedge B(x, z)))