Assertion: tower's number | /r/HasProperty | the move count
Facets:
Source sentences:
text: Furthermore, the disk to be moved is determined by the number of times the move count (m) can be divided by 2 (i.e. the number of zero bits at the right), counting the first move as 1 and identifying the disks by the numbers 0, 1, 2 etc.