to instances of #$ScalarInterval. (#$argFormat PRED N #$IntervalEntry) means that, for any particular way of fixing the other arguments to PRED besides the Nth, there may be more than one instance of #$ScalarInterval such that, if taken as the Nth argument, PRED holds of those arguments. However, if there is more than one instance of #$ScalarInterval taken as the Nth argument in such a situation, it must be the case that each of the instances of #$ScalarInterval intersect one another (see #$quantityIntersec