 A possible alternative would be to expand the syntax of first order logic in order to lift the restrictions about dependency patterns between quantified variables. This is the route taken by branching quantifier logic (Henkin 1961), in which the truth conditions of (\(\ref{boygirl2}\)) correspond to those of 