Assertion: logic's theorem | /r/HasProperty | stated for example
Facets:
Source sentences:
text: For example, the Pythagorean theorem can be stated as: