y well-formed only if M = N. For example, the #$arity of any instance of #$BinaryPredicate is 2. Note that full semantic well-formedness requires obeying argument-type constraints (see #$ArgTypePredicate) as well as arity constraints. For a general explanation of semantic well-formedness, see #$CycLExpression-Assertible. See also #$CycLExpression-Askable.<br />
	    guid: bd5880ce-9c29-11b1-9dad-c379636f7270<br />
	    direct instance of: #$OpenCycDefinitionalPredicate #$IntangibleObjectRelatingPredic