Assertion: expression's number | /r/HasProperty | real
Facets:
Source sentences:
text: This is also the case for the expressions representing real numbers, which are built from the integers by using the arithmetical operations, the logarithm and the exponential (Richardson's theorem).
text: where value is the result of the postfix expression (a real number).