Assertion: graph's label | /r/AtLocation | their vertices
Facets:
Source sentences:
text: are isomorphic if labels can be attached to their vertices so that they become the same graph.