Assertion: degree | /r/HasProperty | thought as steps of time
Facets:
Source sentences:
text: The proof proceeds inductively with one stage for each natural number; these stages can be thought of as steps of time during which the set X is enumerated.