Assertion: existential quantifier | /r/HasProperty | moved
Facets:
Source sentences:
text: Therefore, the existential quantifier on z only depends on x and can be moved before [inverted] Ay.