Assertion: exception | /r/HasProperty | a part of the contract
Facets:
Source sentences:
text: Exceptions that are a part of the contract should not change from one version to the next (i.e., exception type should not change, and new exceptions should not be added).