734
edits
Determiner: Difference between revisions
darkened colours, added {brackets and numbers} for extra clarity
m (Lynn moved page Quantifier to Determiner) |
(darkened colours, added {brackets and numbers} for extra clarity) |
||
| Line 6: | Line 6: | ||
In short, {{t|sa bỉo}} does three things: | In short, {{t|sa bỉo}} does three things: | ||
# <span style="color: | # <span style="color:brown">introduces</span> an existentially bound variable {{t|bío}} to the clause; | ||
# <span style="color: | # <span style="color:chocolate">specifies</span> that it refers to a cup (or some cups: see [[plural logic]]); | ||
# acts in its place in the sentence as an <span style="color:teal">instance</span> of this variable. | # acts in its place in the sentence as an <span style="color:teal">instance</span> of this variable. | ||
<blockquote> | <blockquote> | ||
{{t|Hẻaq jí <u>sa bỉo</u>.}}<br> | {{t|Hẻaq jí <u>sa bỉo</u>.}}<br> | ||
<math>{\color{ | <math> | ||
{\color{brown} \underbrace{\exists \textsf{bio}:}_{1}} | |||
\; {\color{chocolate} \underbrace{\textrm{Bio}(\textsf{bio}) \mathop\wedge}_{2}} | |||
\; \textrm{Heaq}(\textsf{ji}, | |||
{\color{teal} \underbrace{\textsf{bio}}_{3}} | |||
) | |||
</math><br> | |||
I'm holding some cup(s). | I'm holding some cup(s). | ||
</blockquote> | </blockquote> | ||