Assertion: subtraction | /r/HasProperty | replaced by addition
Facets:
Source sentences:
text: Exception # 1: If B is a negative monomial then the subtraction of a negative must be replaced by an addition.