Assertion: order logic | /r/CapableOf | allow the use of sentences
Facets:
Source sentences:
text: First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as Socrates is a man one can have expressions in the form "there exists x such that x is Socrates and x is a man" and there exists is a quantifier while x is a variable.