Assertion: algorithm | /r/CapableOf | provide solution
Facets:
value: to the problem
type: TRANSITIVE-OBJECT
Source sentences:
text: Once we are satisfied that the algorithm does provide a solution to the problem, we start to look for other things.