Assertion: algorithm | /r/HasProperty | θsomething
Facets:
Source sentences:
text: A number is ≤ something Our algorithm is Θ( something )