Assertion: graph's g | /r/HasProperty | homomorphism
Facets:
value: to g
type: TRANSITIVE-OBJECT
value: from h
type: LOCATION
Source sentences:
text: G (where H is also a graph) is a homomorphism from H to G .