Refine axiom generation for antonyms

[pasmargo]

We need to ensure that variables refer to the same entity (or event).