Assertion: algorithm | /r/CapableOf | succeed with probability
Facets:
Source sentences:
text: This algorithm succeeds with probability 1.