Assertion: table's number | /r/HasProperty | irrational
Facets:
value: by definition
type: OTHER
Source sentences:
text: By definition, a real number is irrational if it is not rational.