Assertion: logic | /r/CapableOf | permit simultaneous quantification
Facets:
value: similarly
type: MANNER
value: over fewer than λ variables
type: OTHER
value: less than κ
type: OTHER
Source sentences:
text: Similarly, the logic L κλ permits simultaneous quantification over fewer than λ variables, as well as conjunctions and disjunctions of size less than κ.