Assertion: order logic | /r/HasAspect | atomic sentence
Facets:
Source sentences:
text: Tarski and Givant (1987) showed that the fragment of first-order logic that has no atomic sentence lying in the scope of more than three quantifiers has the same expressive power as relation