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