is it possible to have transitive rules
is it possible to have transitive rules for certain verbs if all verb are the same type but i distinguish on id? in the "then" part of my transitivity rule, it won't let me have:
(arg0: $x0, arg1: $x2) isa ul-verb, has id "IsA";
