Assertion: group | /r/HasAspect | edge
Facets:
Source sentences:
text: A Cayley graph is a graph defined from a pair (G,S) where G is a group and S is a set of generators for the group; it has a vertex for each group element, and an edge for each product of an element with a generator.