binary-tuple [Relation]

Remarks

The relation binary-tuple is at the top of the binary relation hierarchy, that is, it subsumes all other relations having arity two.

(defrelation age) 
(ask (subrelations binary-tuple age)) ==> T