Assertion: order arithmetic | /r/Synonym | analysis
Facets:
value: sometimes
type: TEMPORAL
Source sentences:
text: For this reason, second-order arithmetic is sometimes called “analysis”