I have this sort of thing in Miapimoquitch, and I do call it a predicate. In
Miapimoquitch, predicates are formally intransitive and require n- or l-
(direct or inverse) if more than one argument is involved, regardless of the
semantics of the predicate.
On Sun, Oct 18, 2009 at 8:42 PM, Eric Christopherson <