 details. See also #$ArgFormatPredicate. Note that, in contrast with what #$ArgTypePredicates are used for, specifying an argument entry-format for a predicate does _not_ impose any sort of necessary condition for semantic well-formedness. A violation of a legitimate entry-format constraint necessarily involves two or more statements, and at least one them must be _untrue_; but there is no implication that any of them is malformed.<br />
	    guid: bd589a1d-9c29-11b1-9dad-c379636f7270<br />
	    direc