Assertion: tree's number | /r/HasProperty | constant
Facets:
Source sentences:
text: Because this is the only loop, and any rotations occur after it, the number of rotations is constant.