Assertion: new combination | /r/HasProperty | formed in last recursion
Facets:
Source sentences:
text: In the last recursion (r+1 recursion), each new combination is formed.