Assertion: zero | /r/HasProperty | undefined
Facets:
Source sentences:
text: But x / 0 is undefined, because 0 has no multiplicative inverse (no real number multiplied by 0 produces 1), a consequence of the previous rule.