Assertion: mathematician's language | /r/HasProperty | evaluated by computer
Facets:
Source sentences:
text: There is also a program which is trying to translate all of mathematics into a formal language that can be evaluated by a computer.