Assertion: condition | /r/CapableOf | define constraint
Facets:
value: on object state
type: LOCATION
Source sentences:
text: The precondition for any routine defines any constraints on object state which are necessary for successful execution.