Assertion: argument | /r/AtLocation | latin
Facets:
Source sentences:
text: It requires, first, ignoring those grammatical features irrelevant to logic (such as gender and declension, if the argument is in Latin), replacing conjunctions irrelevant to logic (e.g. "but") with logical conjunctions like "and" and replacing ambiguous, or alternative logical expressions ("any", "every", etc.) with expressions of a standard type (e.g. "all", or the universal quantifier ∀).