Assertion: bounded quantifier | /r/HasProperty | important
Facets:
value: in kripke
type: LOCATION
Source sentences:
text: Bounded quantifiers are important in Kripke–