Assertion: abelian group's element | /r/HasProperty | as s = w 0 1 g
Facets:
Source sentences:
text: Writing a different element s as s = w 0 1 G