Obviously, the specified integer N must be less than or equal to the arity (see #$arity) of PRED. Note that, for some ways of fixing the other arguments, there might be _nothing_ that would yield a true sentence when put in PRED's functional argument-place. For example, #$dictator is functional in its second argument because a given country can have at most one dictator at a given time; but of course some countries have no dictator.<br />
	    guid: bd58dcb9-9c29-11b1-9dad-c379636f7270<br />
	    dire