Assertion: diagram | /r/CreatedBy | proof
Facets:
Source sentences:
text: Within an Eu derivation, the diagram produced by a proof