Assertion: algorithm's set | /r/HasProperty | recursion stops
Facets:
Source sentences:
text: If any one of the results is negative, then the assignment is invalid and does not contribute to the set of solutions (recursion stops).