[sourcery]

Defintions are not transitive: define(a, b) does not entail define(b, a)

[Ha Ha Thats Very Logical]

Defintions are not transitive: define(a, b) does not entail define(b, a)

I'm not sure what that means, but it confirms my suspicion that good old English is not your best language. I think what you're trying to say is, "It's a definition when I say it's a definition, and it's not when I say it's not."