Assertion: algorithm | /r/HasProperty | unlikely to stop
Facets:
Source sentences:
text: The algorithm is unlikely to stop, since almost all ratios a/b of two real numbers are irrational.