Assertion: set's number | /r/DefinedAs | last sentence
Facets:
value: finitely
type: MANNER
Source sentences:
text: This is paradoxical, because this real number has just been finitely defined by the last sentence.