ct instance of: #$OpenCycDefinitionalPredicate #$BinaryPredicate #$MetaPredicate</p>
<p>#$scopingArg   scoping arg    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**</p>
<p>    (#$scopingArg RELATION N) indicates the Nth argument of #$ScopingRelation RELATION denotes one or more scoped variables.<br />
	    guid: c03d1910-9c29-11b1-9dad-c379636f7270<br />
	    direct instance of: #$BinaryPredicate</p>
<p>#$ScopingRelation   scoping relations    **COMMENT NOT REVIEWED**    **GAFs N