Ways of Branching Quantifiers