Assertion: artificial language | /r/HasProperty | alternative
Facets:
value: for expressing reality
type: PURPOSE
Source sentences:
text: Also, it is obvious that by searching through the logic's history and as the specialists strived to build an artificial language that would be alternative for expressing reality more precisely, the thing that pushed them to make these characters and tools take the form of mathematical symbols used to link between two cases or more to build a compound case that can be judged to be truthful or false.