Assertion: subtraction | /r/HasProperty | checked
Facets:
value: always
type: DEGREE
Source sentences:
text: So subtraction can always be checked by adding.