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"; because i can't attach the id