Assertion: condition | /r/HasProperty | weakened
Facets:
Source sentences:
text: Preconditions can be modified in redefined routines, but they may only be weakened.