Assertion: graph's set | /r/CapableOf | form group
Facets:
Source sentences:
text: The composition of two automorphisms is another automorphism, and the set of automorphisms of a given graph, under the composition operation, forms a group, the automorphism group of the graph.