Assertion: algorithm | /r/AtLocation | state
Facets:
value: at any given time
type: TEMPORAL
Source sentences:
text: At any given time, the algorithm is in a state determined by two integers: