# Mango Steel

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)))$