Assertion: diagram | /r/HasProperty | given with the proof
Facets:
Source sentences:
text: The proof seems to refer to the parts of the diagram given with the proof.