 One feature of first order logic which accounts for much of its expressivity and applicability is the fact that it allows quantifiers to be nested, and, hence, it permits the specification of dependency patterns between quantified variables. Consider, for example, the (hopefully false) statement that “every boy loves some girl that loves some other boy”. It can be straightforwardly translated into first order logic as 