Assertion: subtraction | /r/HasProperty | operation
Facets:
value: definitely
type: DEGREE
Source sentences:
text: Subtraction is definitely an operation defined on real numbers.
text: Subtraction is the operation where one is most likely to encounter alternative algorithms.