Assertion: presentation's element | /r/HasProperty | above form
Facets:
Source sentences:
text: If G is any group, and S is a generating subset of G, then every element of G is also of the above form; but in general, these products will not uniquely describe an element of G.