Assertion: generalized quantifier | /r/HasProperty | definable
Facets:
value: in \(l_2\
type: LOCATION
Source sentences:
text: But in practice it suffices to show that the generalized quantifiers in \(L_1\) are definable in \(L_2\).