Assertion: cut | /r/CapableOf | represent irrational number
Facets:
value: in dedekind's construction
type: LOCATION
Source sentences:
text: This cut represents the irrational number √2 in Dedekind's construction.