Frame: Difference between revisions

Frame (view source)

Revision as of 13:29, 30 October 2023

2,625 bytes added , 13:29, 30 October 2023

New article

Laqme

Bureaucrats, Interface administrators, Suppressors, Administrators

568

edits

@@ Line 1: / Line 1: @@
-#REDIRECT [[Frame (beta)]]
+A verb's ''frame'' is a little "signature" that tells you what arguments can go in what slots, and what happens when the verb is used to make a [[serial verb]].
+For example, the frame of {{t|sue}} is <code>c c 1</code>, meaning it has two "concrete" slots, and one "1-ary" property slot that will, in a serial verb, [[Serial_verb#Merging_definitions|merge away]] with the subject of the next verb.
+A frame consists of as many space-separated glyphs as it has argument slots, and each one describes what can go in that slot:
+{| class="wikitable"
+|+ Frame glyphs
+|-
+! Glyph !! Meaning !! Telltale phrase !! Serial behavior
+|-
+| <code>c</code> || "Concrete" (non-property) argument || None
+|-
+| <code>0</code> || 0-ary relation ([[proposition]]) || "that ▯ is the case" || [[Serial_verb#Merging_definitions|Merge-into]]
+|-
+| <code>1</code> || 1-ary relation ([[property]]) || "to satisfy property ▯" || [[Serial_verb#Merging_definitions|Merge-away one]]
+|-
+| <code>2</code> || 2-ary relation ([[relation]]) || "to be in relation ▯ with" || [[Serial_verb#Merging_definitions|Merge-away two]]
+|}
+== Coindexation ==
+Sometimes you might see the letters <code>ijkx</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 k</code> refer to the first, second, and third 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|''x<sub>i</sub>''}} promises ''{{blue|x<sub>j</sub>}}'' to satisfy property ''P''" really means "{{orange|''x<sub>i</sub>''}} promises to ''{{blue|x<sub>j</sub>}}'' that {{orange|''P''(''x<sub>i</sub>'')}} will be brought about."
+But {{t|sue}} is <code>c c 1j</code> because "{{orange|''x<sub>i</sub>''}} asks ''{{blue|x<sub>j</sub>}}'' to satisfy property ''P''" really means "{{orange|''x<sub>i</sub>''}} asks of ''{{blue|x<sub>j</sub>}}'' that {{blue|''P''(''x<sub>j</sub>'')}} be brought about."
+And the frame of {{t|taq}} is <code>c 2ii</code>, as "{{orange|''x<sub>i</sub>''}} is in relation ''R'' with itself" really means "{{orange|''x<sub>i</sub>''}} satisfies {{orange|R(''x<sub>i</sub>'', ''x<sub>i</sub>'')}}."
+The letter <code>x</code> means that there is no coindexation between the arguments of the verb and the lambda argument. The frame of {{t|mıa}} is <code>c 2ix</code> because the relation is applied between {{orange|''x<sub>i</sub>''}} and "many things ''x''".