f 9 IsSetElement is used to identify set-membership bridging cases (see Example (12)), by checking whether the mention head is a number or indefinite pronoun (one, some, none, many, most) or modified by each, one.
not all numbers are bridging cases, and we use f 11 IsYear to exclude some such cases.