Assertion: algebra's element | /r/CapableOf | remove universal quantifiers
Facets:
Source sentences:
text: Then remove references to the elements of G (which will also remove universal quantifiers):