Assertion: tower's base | /r/HasProperty | reached
Facets:
Source sentences:
text: Each of thus created sub-problems being "smaller" guarantees that the base case(s) will eventually be reached.