Assertion: existential quantifier | /r/CapableOf | apply to a conjunction of literals
Facets:
Source sentences:
text: To show constructively that a theory has quantifier elimination, it suffices to show that we can eliminate an existential quantifier applied to a conjunction of literals, that is, show that each formula of the form: