Assertion: presentation | /r/CapableOf | comprise set s of generators
Facets:
Source sentences:
text: A presentation of a group G comprises a set S of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set R of relations among those generators.