Compact event notation

Revision as of 01:45, 21 December 2023 by Laqme (talk | contribs) (copyedit)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

When following Toaq's semantics algorithm to turn Toaq sentences into logical formulas, many simple clauses translate into an existential quantification of an event, combined with its aspect and verb participant information. For example, Luı heaqdo jí súq máq becomes

There is an event e of heaqdo-ing súq máq in world w, whose runtime precedes the implicit tense t, and whose agent is .

Kuna supports a compact notation for this in its denotation outputs:

It works as follows:

  1. When an existential quantifier is followed by a Toaq verb, it asserts the existence of an event of that verb.
  2. The event variable being bound is given by the following superscript.
  3. The world variable in which the event is situated is given by the following subscript.
  4. The aspect information is given underneath the verb. If it starts with a relational operator it abbreviates .
  5. The participants are listed in parentheses. If there is an agent, it's separated from the non-agent participants by a semicolon.
  6. Optionally, a final dot announces the rest of the formula in which is bound.

There are some variants of the notation, depending on the presence of an agent, of non-agent participants, and of a subsequent statement :

Compact event notation
Compact notation Expanded notation


Example

The full denotation of Pu tao jí hóq da (i.e. Ruaq jí ꝡä pu tao jí hóq ka) is:

 

Using compact notation, it becomes a bit less daunting: