Assertion: abelian group's element | /r/CapableOf | exist a ∈ q.
Facets:
value: for each element
type: OTHER
Source sentences:
text: so the inverse element (-a) exists for each element a ∈ Q.