Assertion: dialogue | /r/HasProperty | attempt
Facets:
Source sentences:
text: A dialog can be described as an attempt to prove a theorem.