Assertion: algorithm's input | /r/HasProperty | possible
Facets:
Source sentences:
text: If someone proposes an algorithm to solve a task, are we sure that the algorithm works for all possible inputs?