Assertion: real number | /r/CapableOf | use different terminology
Facets:
value: slightly
type: MANNER
Source sentences:
text: Using slightly different terminology, a real number is constructible if and only if it lies in a field at the top of a finite tower of quadratic extensions, starting with the rational field ℚ.