Assertion: observation | /r/HasProperty | nice definitions
Facets:
Source sentences:
text: Is it possible to turn a nice theorem with a nice proof just to an ''observation'' with, say, some nice definitions?