Assertion: graph's g | /r/HasProperty | its fiber
Facets:
Source sentences:
text: f has the property that for every vertex v of G, its fiber f−1(v) has exactly h elements.