Assertion: order logic | /r/HasProperty | expressed in formal language
Facets:
Source sentences:
text: First order logic is expressed in some formal language.