Assertion: order logic | /r/HasProperty | studied in language
Facets:
value: with fewer logical symbols
type: OTHER
Source sentences:
text: First-order logic can be studied in languages with fewer logical symbols than were described above.