How do nested quantifiers distribute over a predicate?
“There is a woman who has taken a flight on every airline in the world”
?x?y?z(p(x,y) AND q(y,z))
“There is a woman who has taken a flight on every airline in the world”
?x?y?z(p(x,y) AND q(y,z))