Archive:Frame: Difference between revisions

(added les frâmes seriales)
m (Uakci moved page Frame (beta) to Archive:Frame without leaving a redirect)
 
(8 intermediate revisions by 3 users not shown)
Line 23: Line 23:
For example: {{t|leo}} ("tries to") and {{t|juoq}} ("should") both take one ''concrete'' argument followed by one ''property'' argument. This is expressed by the type signature <code>(c 1)</code>. These verbs have the same type signature, so they belong to the same semantic frame.
For example: {{t|leo}} ("tries to") and {{t|juoq}} ("should") both take one ''concrete'' argument followed by one ''property'' argument. This is expressed by the type signature <code>(c 1)</code>. These verbs have the same type signature, so they belong to the same semantic frame.


Furthermore, each semantic frame in Toaq has an arbitrary '''representative''' chosen for it, used as a handy way to refer to the frame. For example, the semantic frame of all verbs with type signature <code>(c 1)</code> is called the '''LEO (semantic) frame'''. LEO consists of all the verbs whose argument places are just like {{t|leo}}'s.
Furthermore, each semantic frame in Toaq has an arbitrary '''representative''' chosen for it, used as a handy way to refer to the frame. For example, the semantic frame of all verbs with type signature <code>(c 1)</code> is called the '''{{class|LEO|c 1}} (semantic) frame'''. {{class|LEO}} consists of all the verbs whose argument places are just like {{t|leo|{{x}} tries to satisfy property {{x}}}}'s.


We say that “{{t|juoq}} is in the LEO frame” or “{{t|juoq}} is in LEO”. We also often just say that “{{t|juoq}} is <code>(c 1)</code>”.
We say that “{{t|juoq}} is in the {{class|LEO}} frame” or “{{t|juoq}} is in {{class|LEO}}”. We also often just say that “{{t|juoq}} is <code>(c 1)</code>”.
 
=== Table of semantic frames ===
[[Hoemai]] provides<ref>https://discord.com/channels/311223912044167168/311223912044167168/891624578923782145</ref> a tentative list:
 
*; Subordinating
*: <code>(c 0)</code> <abbr>TUA</abbr>
*: <code>(c 1)</code> <abbr>LEO</abbr>
*: <code>(c 2)</code> <abbr>TAQ</abbr>
*: <code>(c c 0)</code> <abbr>MIUJEQ</abbr>
*: <code>(c c 1)</code> <abbr>HUAQ</abbr>
*; Adjectival
*: <code>(a)</code> <abbr>NUI</abbr>
*; Exhibitor
*: <code>(c e)</code> <abbr>HEA</abbr>


== Serial frames ==
== Serial frames ==
Line 50: Line 36:
<div style="border:1px solid black;padding:5px 15px;background:#ffd">
<div style="border:1px solid black;padding:5px 15px;background:#ffd">
These are the possible '''serial types''' an argument place can have:
These are the possible '''serial types''' an argument place can have:
* <code>x</code> or <code>c</code> means that this argument place remains untouched and will still be there in the resulting serial verb.
* <code>c</code> means that this argument place remains untouched and will still be there in the resulting serial verb.
* <code>0</code> means that this place will be subsumed by all of the right-hand verb's arguments:
* <code>0</code> means that this place will be subsumed by all of the right-hand verb's arguments:
** <span style="background:#ddf;padding:4px"><b style="color:red">x</b> wants <b style="color:gray">0</b> to be the case</span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> sits on <b style="color:green">x</b></span> = <span style="background:#ddf;padding:4px"><b style="color:red">x</b> wants <b style="color:#ba0">x</b> to sit on <b style="color:green">x</b></span>
** <span style="background:#ddf;padding:4px"><b style="color:red">c</b> wants <b style="color:gray">0</b> to be the case</span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">c</b> sits on <b style="color:green">c</b></span> = <span style="background:#ddf;padding:4px"><b style="color:red">c</b> wants <b style="color:#ba0">c</b> to sit on <b style="color:green">c</b></span>
* <code>1</code> means that this place will be subsumed by all of the right-hand verb's arguments, '''merging''' with its first one:
* <code>1</code> means that this place will be subsumed by all of the right-hand verb's arguments, '''merging''' with its first one:
** <span style="background:#ddf;padding:4px"><b style="color:red">x</b> tries to satisfy <b style="color:gray">1</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> sits on <b style="color:green">x</b></span> = <span style="background:#ddf;padding:4px"><b style="color:red">x</b> tries to sit on <b style="color:green">x</b></span>
** <span style="background:#ddf;padding:4px"><b style="color:red">c</b> tries to satisfy <b style="color:gray">1</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">c</b> sits on <b style="color:green">c</b></span> = <span style="background:#ddf;padding:4px"><b style="color:red">c</b> tries to sit on <b style="color:green">c</b></span>
* <code>2</code> means that this place will be subsumed by all of the right-hand verb's arguments, '''merging''' with its first two:
* <code>2</code> means that this place will be subsumed by all of the right-hand verb's arguments, '''merging''' with its first two:
** <span style="background:#ddf;padding:4px"><b style="color:red">x</b> all reciprocally satisfy <b style="color:gray">2</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> agrees with <b style="color:green">x</b> that <b style="color:teal">0</b> is the case</span> = <span style="background:#ddf;padding:4px"><b style="color:red">x</b> all agree that <b style="color:teal">0</b> is the case</span>
** <span style="background:#ddf;padding:4px"><b style="color:red">c</b> all reciprocally satisfy <b style="color:gray">2</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">c</b> agrees with <b style="color:green">c</b> that <b style="color:teal">0</b> is the case</span> = <span style="background:#ddf;padding:4px"><b style="color:red">c</b> all agree that <b style="color:teal">0</b> is the case</span>
* <code>e</code> means that this place will disappear, '''merging''' with "[[Kind|{{t|baq}}]] ''right-hand-verb''".
* <code>e</code> means that this place will disappear, '''merging''' with "[[Kind|{{t|baq}}]] ''right-hand-verb''".
** <span style="background:#ddf;padding:4px"><b style="color:red">x</b> takes care of <b style="color:gray">e</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> is a cat</span> = <span style="background:#ddf;padding:4px"><b style="color:red">x</b> takes care of cat(s).</span>
** <span style="background:#ddf;padding:4px"><b style="color:red">c</b> takes care of <b style="color:gray">e</b></span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">a</b> is a cat</span> = <span style="background:#ddf;padding:4px"><b style="color:red">c</b> takes care of cat(s).</span>
** Such a slot is known as an '''exhibitor slot''' (hence <code>e</code>), and the resulting serial is a '''genitival serial'''.
** Such a slot is known as an '''exhibitor slot''' (hence <code>e</code>), and the resulting serial is a '''genitival serial'''.
* <code>a</code> means that this '''adjectival''' place will disappear, and the following verb's first place is modified, attributively when appropriate or otherwise predicatively, by this adjective:
* <code>a</code> means that this '''adjectival''' place will disappear, and the following verb's first place is modified, attributively when appropriate or otherwise predicatively, by this adjective:
** <span style="background:#ddf;padding:4px"><b style="color:red">a</b> is small</span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> is a cat</span> = <span style="background:#ddf;padding:4px"><b style="color:#ba0">x</b> is a small cat.</span>
** <span style="background:#ddf;padding:4px"><b style="color:red">a</b> is small</span> + <span style="background:#ddf;padding:4px"><b style="color:#ba0">a</b> is a cat</span> = <span style="background:#ddf;padding:4px"><b style="color:#ba0">c</b> is a small cat.</span>
</div>
</div>


The signature is again written by writing down all the types in parentheses, like <code>(x x 0)</code> or <code>(x e)</code>.
The signature is again written by writing down all the types in parentheses, like <code>(c c 0)</code> or <code>(c e)</code>.


There is '''at most''' one non-<code>x</code> in a serial signature. This is because all the other slot types define ''the'' serialization behavior for the verb, and a verb must have one unambiguous serialization behavior! So while <code>(c 0 0)</code> is a valid semantic frame, there cannot be a <code>(x 0 0)</code> serial behavior, as it wouldn't be clear which of the <code>0</code> slots accepts the right-hand verb arguments.
There is '''at most''' one non-<code>c</code> in a serial signature. This is because all the other slot types define ''the'' serialization behavior for the verb, and a verb must have one unambiguous serialization behavior! So while <code>(c 0 0)</code> is a valid semantic frame, there cannot be a <code>(c 0 0)</code> serial behavior, as it wouldn't be clear which of the <code>0</code> slots accepts the right-hand verb arguments.


Some verbs cannot participate in serials, and are not part of any serial frame.
Some verbs cannot participate in serials, and are not part of any serial frame.


=== Table of serial frames ===
=== Table of serial frames ===
TODO
 
The frames currently found in the [https://toaq.github.io/dictionary/ official dictionary] are:
 
*; Subordinating
*: <code>(c 0)</code> {{class|tua}}
*: <code>(c 1)</code> {{class|leo}}
*: <code>(c 2)</code> {{class|cheo}}
*: <code>(c c 0)</code> {{class|duasue}}
*: <code>(c c 1)</code> {{class|huaq}}
*: <code>(c c 2)</code> {{class|jeq}}
*; Adjectival
*: <code>(a)</code> {{class|gı}}
*; Genitival
*: <code>(c e)</code> {{class|muoq}}


== How do they relate? ==
== How do they relate? ==
''(This is the author's unofficial theory.)''
: ''(This is [[User:Lynn|the author]]'s unofficial theory.)''


There is a predictable partial function from semantic frame signatures to serial frame signatures.
There is a predictable partial function from semantic frame signatures to serial frame signatures.

Latest revision as of 20:21, 4 November 2023

A frame is a class of verbs that all, in a certain specific sense, take the "same" types of arguments in the same order, giving rise to the same grammatical behavior. There are two types of frames, corresponding to two different senses in which a pair of predicates can have the "same" argument structure. The types are semantic frames and serial frames.

Semantic frames

A semantic frame is a class of verbs that all have the same number of argument places, of the same types, in the same order.

The type of an argument place says what kind of thing is allowed to go in there:

  • c ("concrete") means anything goes. Usually concrete arguments like "me" or "cats" or "a house", but also clauses/events whenever it makes sense in that verb.
    • For example, de's first slot is type c. One can say dẻ súq (You're beautiful) or dẻ sûaq súq (The event of your singing is beautiful).
  • 0 means a place that must be filled with a proposition or event.
    • Often such slots are filled with a   content clause, or a pronoun referring to one.
    • In the dictionary, look for the words "that ___ is the case" to recognize these slots.
  • 1 means the place must be filled with a property.
    • Often such slots are filled with a   content clause with one ja in it.
    • In the dictionary, look for the words "satisfying property ___" to recognize these slots.
  • 2 means the place must be filled with a binary relation.
    • Often such slots are filled with a   content clause with two instances of ja in it.
    • In the dictionary, look for the words "relation ___" to recognize these slots.

Thus, a semantic frame can be identified with its type signature, which is just all the types of the argument places listed in a row — traditionally in parentheses.

For example: leo ("tries to") and juoq ("should") both take one concrete argument followed by one property argument. This is expressed by the type signature (c 1). These verbs have the same type signature, so they belong to the same semantic frame.

Furthermore, each semantic frame in Toaq has an arbitrary representative chosen for it, used as a handy way to refer to the frame. For example, the semantic frame of all verbs with type signature (c 1) is called the LEO (semantic) frame. LEO consists of all the verbs whose argument places are just like leo's.

We say that “juoq is in the LEO frame” or “juoq is in LEO”. We also often just say that “juoq is (c 1)”.

Serial frames

A serial frame is a class of verbs that all exhibit the same serialization behavior.

Again, each such frame is identified by a serial signature and a representative.

But this time, rather than describing "what can this argument slot be filled with?", the elements of the signature describe: "what happens to this argument slot, when this verb is the first (left-hand) verb in a serial verb?"

These are the possible serial types an argument place can have:

  • c means that this argument place remains untouched and will still be there in the resulting serial verb.
  • 0 means that this place will be subsumed by all of the right-hand verb's arguments:
    • c wants 0 to be the case + c sits on c = c wants c to sit on c
  • 1 means that this place will be subsumed by all of the right-hand verb's arguments, merging with its first one:
    • c tries to satisfy 1 + c sits on c = c tries to sit on c
  • 2 means that this place will be subsumed by all of the right-hand verb's arguments, merging with its first two:
    • c all reciprocally satisfy 2 + c agrees with c that 0 is the case = c all agree that 0 is the case
  • e means that this place will disappear, merging with "baq right-hand-verb".
    • c takes care of e + a is a cat = c takes care of cat(s).
    • Such a slot is known as an exhibitor slot (hence e), and the resulting serial is a genitival serial.
  • a means that this adjectival place will disappear, and the following verb's first place is modified, attributively when appropriate or otherwise predicatively, by this adjective:
    • a is small + a is a cat = c is a small cat.

The signature is again written by writing down all the types in parentheses, like (c c 0) or (c e).

There is at most one non-c in a serial signature. This is because all the other slot types define the serialization behavior for the verb, and a verb must have one unambiguous serialization behavior! So while (c 0 0) is a valid semantic frame, there cannot be a (c 0 0) serial behavior, as it wouldn't be clear which of the 0 slots accepts the right-hand verb arguments.

Some verbs cannot participate in serials, and are not part of any serial frame.

Table of serial frames

The frames currently found in the official dictionary are:

  • Subordinating
    (c 0) tua
    (c 1) leo
    (c 2) cheo
    (c c 0) duasue
    (c c 1) huaq
    (c c 2) jeq
    Adjectival
    (a)
    Genitival
    (c e) muoq

How do they relate?

(This is the author's unofficial theory.)

There is a predictable partial function from semantic frame signatures to serial frame signatures.

If the semantic frame has more than one "digit" (0, 1 or 2) in it, then the verb cannot serialize. Example: she.

If it has exactly one "digit": the serialization behavior is "subordinating", and the serial frame is obtained by replacing all c with x. Example: tua, leo, taq, mıujeq, huaq, toı.

If there are no "digits":

  • Semantic frame (c) corresponds to serial frame (a). Example: nuı, kue(?!).
  • Semantic frame (c c) corresponds to serial frame (x e). Example: hea, kıaı, tuı.
  • Otherwise (i.e. (c c c) and beyond, like kuq), the verb cannot serialize.

TODO: what happens to jıe?

Why complicate things?

If semantic frames can be predictably mapped to serial frames (serial behaviors), we could just describe the rules for serialization in terms of semantic frames. In fact, this is pretty much what the refgram does.

  • If the last slot of the type signature is a 0 or a 1 (or presumably any higher number), subordinate and merge there.
  • If the type signature is (c c), perform genitival serialization in the second argument place.
  • If the type signature is (c), perform adjectival serialization.
  • Otherwise, the verb cannot serialize.

So it might seem unnecessary to talk about serial frames as a separate "thing".

However, for a long time it has been unclear if there is such a predictable mapping (and it still is a little), and for a long time it was thought that verbs like she can participate in serials, and it was hotly debated whether its (0 0) type signature should have (x 0) or (0 x) serial behavior.

At the very least, a separate notation for serial behaviors still lets us theorize about these things.