I have a problem when I try to make a property both asymmetric
and transitive . A similar exception also occurs if I try to make a property
Functional and transitive. Both cases throw an exception here are
the exceptions I got from fact ++ and Racer respectively. Is there a way I
can avoid this ?