Assertion: name | /r/CapableOf | reduce to same numerical formula
Facets:
Source sentences:
text: The explanation is that the names reduce to the same numerical formula.