Assertion: argument | /r/AtLocation | math
Facets:
Source sentences:
text: The logical form of an argument in a natural language can be represented in a symbolic formal language, and independently of natural language formally defined "arguments" can be made in math and computer science.