Assertion: graph's vertex | /r/HasAspect | preimage
Facets:
value: in c. furthermore
type: LOCATION
Source sentences:
text: The map f is a surjection: each vertex of H has a preimage in C. Furthermore,