17
edits
(→TODO proposal details: Admit that completenes could be lexical) |
(→TODO proposal details: Split completeness out into its own proposal) |
||
Line 73: | Line 73: | ||
The complementizer {{t|ma}} will gain semantics, specifically <math>\lambda \text{P}. ?!P</math>. | The complementizer {{t|ma}} will gain semantics, specifically <math>\lambda \text{P}. ?!P</math>. | ||
We'll probably want prefixes that apply to quantifiers and apply one of the following to the result of applying the quantifier (in other words, applying them outside the quantifier): <math>!</math>, <math>;</math>, <math>?</math>, <math>?!</math>. | We'll probably want prefixes that apply to quantifiers and apply one of the following to the result of applying the quantifier (in other words, applying them outside the quantifier): <math>!</math>, <math>;</math>, <math>?</math>, <math>?!</math>. |
edits