Assertion: logic's theorem | /r/HasProperty | given as example
Facets:
Source sentences:
text: The axioms and theorems of mathematics, the lexicographic and stipulative definitions, and also the paradigmatic logical truths, have been given as examples.