Quantifier rank
= Quantifier rank
{title2=$\operatorname{qr}(\varphi)$}
{wiki}
The quantifier rank of a <first-order formula> is the maximum nesting depth of quantifiers. Atomic formulas have rank zero; negation preserves rank, binary Boolean connectives take the maximum, and either quantifier increases rank by one. It is not the total number of quantifiers.