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