Assertion: diagram | /r/CapableOf | appear with euclidean proof
Facets:
Source sentences:
text: The diagram that appears with a Euclidean proof provides a single instantiation of the type of geometric configurations the proof is about.