Assertion: machine's state | /r/HasProperty | redefined with condition
Facets:
Source sentences:
text: For example, if the bank changes the business rule to allow the bank balance to be overdrawn by 2000 dollars, the state of the bank account will be redefined with condition that the balance after withdrawal must not be less than $2000 in deficit.