Assertion: algorithm | /r/CapableOf | impose requirement
Facets:
value: on its inputs
type: OTHER
Source sentences:
text: If an algorithm imposes a requirement on its inputs (called a precondition), that requirement must be met.