685
edits
(New article) Tag: Removed redirect |
(→Coindexation: clean) |
||
Line 21: | Line 21: | ||
== Coindexation == | == Coindexation == | ||
Sometimes you might see the letters <code> | Sometimes you might see the letters <code>ijx</code> in a frame. For example, {{t|sue}}'s frame is listed as <code>c c 1j</code> in the official dictionary. | ||
The letters <code>i j | The letters <code>i j</code> refer to the first and second arguments of the verb. They express a "coindexation" between the lambda arguments inside of a property or relation, and the arguments of the verb itself. A <code>1</code> slot is followed by one such letter and a <code>2</code> by two such letters. | ||
For example, {{t|nue}} is <code>c c 1i</code>, because "{{orange| | For example, {{t|nue}} is <code>c c 1i</code>, because "{{orange|<tt>i</tt>}} promises {{blue|<tt>j</tt>}} to satisfy property P" really means "{{orange|<tt>i</tt>}} promises to {{blue|<tt>j</tt>}} that {{orange|P(<tt>i</tt>)}} will be brought about." | ||
But {{t|sue}} is <code>c c 1j</code> because "{{orange| | But {{t|sue}} is <code>c c 1j</code> because "{{orange|<tt>i</tt>}} asks {{blue|<tt>j</tt>}} to satisfy property P" really means "{{orange|<tt>i</tt>}} asks of {{blue|<tt>j</tt>}} that {{blue|P(<tt>j</tt>)}} be brought about." | ||
And the frame of {{t|taq}} is <code>c 2ii</code>, as "{{orange| | And the frame of {{t|taq}} is <code>c 2ii</code>, as "{{orange|<tt>i</tt>}} is in relation R with itself" really means "{{orange|<tt>i</tt>}} is such that {{orange|R(<tt>i</tt>, <tt>i</tt>)}}." | ||
The letter <code>x</code> means that there is no coindexation between the arguments of the verb and | The letter <code>x</code> means that there is no coindexation between the arguments of the verb and that lambda argument. The frame of {{t|mıa}} is <code>c 2ix</code> because the relation is applied between {{orange|<tt>i</tt>}} and "many things x". |