Assertion: expression | /r/CapableOf | represent number
Facets:
Source sentences:
text: The expression "4 + 20" represents a number 24.
text: It is known from Richardson's theorem that there may not exist an algorithm that decides if two expressions representing numbers are semantically equal, if exponentials and logarithms are allowed in the expressions.