Assertion: stairway's run | /r/HasProperty | n steps
Facets:
Source sentences:
text: If there are N steps, the total run equals N