Assertion: algorithm's output | /r/HasProperty | obtained
Facets:
Source sentences:
text: The subdomains corresponding to the selected results are further subdivided and the process is repeated until an output of desired precision is obtained.