(=> (instance ?REL BinaryPredicate) (valence ?REL 2))
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))
Next BinaryPredicate: inScopeOfInterest Up: BinaryPredicate, IrreflexiveRelation Previous BinaryPredicate: inhabits