Assertion: logic | /r/HasProperty | compatible
Facets:
value: with the idea
type: OTHER
Source sentences:
text: Together with subsequent developments, Montague's work showed that Frege's logic was compatible with the idea that quantificational constructions in natural language have a systematic semantics.