Assertion: graph isomorphism | /r/HasProperty | $\theta
Facets:
Source sentences:
text: There is a graph isomorphism $\theta: