Branching quantifier

From Free net encyclopedia