Assertion: remainder | /r/HasProperty | interest
Facets:
Source sentences:
text: if R < 0 then Q : = Q − 1 R : = R + D -- Needed only if the Remainder is of interest.