Assertion: equality | /r/HasProperty | built at the beginning
Facets:
Source sentences:
text: So we see that in the traditional definition of the real numbers, the equation 0.9* = 1 is built in at the beginning.