Assertion: division's number | /r/HasProperty | fraction
Facets:
value: with the zero as denominator
type: OTHER
Source sentences:
text: A positive or negative number when divided by zero is a fraction with the zero as denominator.