Assertion: algorithm | /r/HasProperty | definite
Facets:
value: with each successive step
type: TEMPORAL
value: as a set of rules
type: OTHER
Source sentences:
text: The algorithm, as a set of rules proceeding from inputs to output, must be precise and definite with each successive step clearly determined.