Assertion: outside exists quantifier | /r/HasProperty | the form
Facets:
Source sentences:
text: Another common kind of error is using implication directly within an exists quantifier (the form ∃ x (φ→ψ)).