Quantifier (logic)
Paucal, multal and other degree quantifiers

None of the quantifiers previously discussed apply to a quantification such as

One possible interpretation mechanism can be obtained as follows: Suppose that in addition to a semantic domain X, we have given a probability measure P defined on X and cutoff numbers 0 < a ≤ b ≤ 1. If A is a formula with free variables x,..., x whose interpretation isthe function F of variables v,..., v then the interpretation of

is the function of v,..., v which is T if and only if

and F otherwise. Similarly, the interpretation of

is the function of v,..., v which is F if and only if

and T otherwise.
combination:repeat_prompt, oulipo:avoid_letter[o]