Assertion: tower's number | /r/HasProperty | disk
Facets:
Source sentences:
text: be the total number of disks, number the disks from 1 (smallest, topmost) to n (largest, bottom-most).