Assertion: division | /r/HasProperty | right-distributive
Facets:
value: over subtraction
type: OTHER
value: over addition
type: OTHER
value: in the sense
type: OTHER
Source sentences:
text: Division is right-distributive over addition and subtraction, in the sense that