Assertion: diagram | /r/HasProperty | adopted as a heuristic tool
Facets:
value: usually
type: TEMPORAL
value: in exploring a proof
type: TEMPORAL
Source sentences:
text: Diagrams are usually adopted as a heuristic tool in exploring a proof, but not as part of a proof.