multiple instances INT-1..INT-M of #$ScalarInterval that, when put in this argument-place, each yield a true formula; but only if all of the INT-i overlap one another and thus have a common sub-interval; see #$quantityIntersects and #$quantitySubsumes. Cf. #$StrictlyFunctionalPredicate.) For example, #$biologicalMother is functional in its second argument-place, since every animal has one and only one biological mother. Note that it might be the case that, for some ways of fixing PRED's other arguments, the