Assertion: graph's automorphism | /r/HasProperty | a relabeling of vertices
Facets:
Source sentences:
text: A hypergraph automorphism is an isomorphism from a vertex set into itself, that is a relabeling of vertices.