734
edits
(move determiner table closer to the top of the article) |
mNo edit summary |
||
Line 23: | Line 23: | ||
|- | |- | ||
| {{t|baq}} || X in general, X-[[kind]] | | {{t|baq}} || X in general, X-[[kind]] | ||
|- | |||
| {{t|ja}} || λX | |||
|- | |- | ||
| {{t|hı}} || which X? | | {{t|hı}} || which X? | ||
|- | |- | ||
| {{t| | | {{t|co}} || how many X? | ||
|} | |} | ||
Additionally, {{tone|2}} can be analyzed as a tonal pseudo-determiner that refers to bound variables, or falls back to "implicitly-bound" {{t|ke X}} if there is no earlier binding. | Additionally, {{tone|2}} can be analyzed as a tonal pseudo-determiner that refers to bound variables, or falls back to "implicitly-bound" {{t|ke X}} if there is no earlier binding. | ||
== | == Semantics == | ||
Formally, grammatical determiners tend to correspond to logical '''quantifiers''' over a now-bound variable, plus an occurence of that variable. For example, the {{t|sa}} determiner corresponds to the <math>\exists</math> quantifier. The tagged predicate phrase doubles both as a ''domain'' and a ''name'' for the variable. | |||
In short, {{t|sa bỉo}} does three things: | In short, {{t|sa bỉo}} does three things: |