Assertion: division | /r/HasProperty | evaluated
Facets:
value: further
type: MANNER
Source sentences:
text: A fraction is a division expression where both dividend and divisor are integers (typically called the numerator and denominator), and there is no implication that the division must be evaluated further.