Assertion: graph's type | /r/HasProperty | the one
Facets:
Source sentences:
text: This type of mapping between graphs is the one that is most commonly used in category-theoretic approaches to graph theory.