Assertion: logic | /r/CapableOf | accept naïve comprehension
Facets:
value: without becoming trivial
type: MANNER
Source sentences:
text: Brady has shown that by removing contraction, plus some other key theses, from R we obtain a logic that can accept naïve comprehension without becoming trivial (Brady 2005).