Assertion: division's number | /r/HasProperty | extended to rational numbers
Facets:
value: for a modification of this division
type: PURPOSE
Source sentences:
text: For a modification of this division to yield only one single result, the natural numbers must be extended to rational numbers (the numbers that can be obtained by using arithmetic on natural numbers) or real numbers.