Assertion: algorithm | /r/HasAspect | stop
Facets:
value: finiteness
type: TEMPORAL
value: after a certain number of instructions
type: TEMPORAL
Source sentences:
text: Finiteness: the algorithm should have a stop after a certain number of instructions.