Assertion: absolute value | /r/HasProperty | any mapping
Facets:
value: from d
type: LOCATION
value: more precisely
type: DEGREE
Source sentences:
text: More precisely, if D is an integral domain, then an absolute value is any mapping |x| from D to the real numbers