	    direct instance of: #$OpenCycDefinitionalPredicate #$MacroRelation #$IntangibleObjectRelatingPredicate #$GeneralEntryFormatPredicate #$ArgFormatBinaryPredicate</p>
<p>#$arg3Format   arg 3 format</p>
<p>    An instance of #$ArgFormatPredicate (q.v.) used to place a particular #$Format (q.v.) constraint on the third (or arg3 ) argument-place of a given predicate. (#$arg3Format PRED FORMAT) means that PRED's arg3 is constrained to FORMAT. See the reified instances #$Format for further details.<br 