Assertion: viewpoint's point | /r/HasProperty | final object
Facets:
Source sentences:
text: Roch theorem are recovered in the case where S is a single point (i.e. the final object in the working category C).