Compact event notation: Difference between revisions

← Older edit

Compact event notation (view source)

Revision as of 01:45, 21 December 2023

24 bytes added , 01:45, 21 December 2023

copyedit

Laqme

Bureaucrats, Interface administrators, Suppressors, Administrators

685

edits

@@ Line 1: / Line 1: @@
-When following Toaq's [[semantics]] algorithm, a certain pattern shows up often: an existential quantification of an event, combined with its aspect and verb participant information. For example, {{t|Luı heaqdo jí súq máq …}} becomes
+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, {{t|Luı heaqdo jí súq máq}} becomes
-:<math>\exists e. \tau(e) < \mathrm{t} \wedge \text{heaqdo}_w(\text{suq},\text{maq})(e) \wedge \text{AGENT}(e)(w) = \text{jı} \color{teal} \wedge P(e)</math>
+:<math>\exists e. \tau(e) < \mathrm{t} \wedge \text{heaqdo}_w(\text{suq},\text{maq})(e) \wedge \text{AGENT}(e)(w) = \text{jı}</math>
-:There is an event ''e'', whose runtime precedes the implicit tense ''t'', and which is an event of {{t|heaqdo}}-ing {{t|súq máq}} in world ''w'', and whose agent is {{t|jí}}, (and which satisfies ''P''(''e'').)
+:There is an event ''e'' of {{t|heaqdo}}-ing {{t|súq máq}} in world ''w'', whose runtime precedes the implicit tense ''t'', and whose agent is {{t|jí}}.
-[[Kuna]] supports generating a compact notation for this:
+[[Kuna]] supports a compact notation for this in its denotation outputs:
-:<math>\exists \mathop{\text{heaqdo}}\limits_{< \mathrm{t}}{}^{e}_{w}\left(\text{jı}; \text{suq}, \text{maq}\right) \color{teal}. P(e)</math>
+:<math>\exists \mathop{\text{heaqdo}}\limits_{< \mathrm{t}}{}^{e}_{w}\left(\text{jı}; \text{suq}, \text{maq}\right) \color{gray}. P(e)</math>
 It works as follows:
 # When an existential quantifier <math>\exists</math> is followed by a Toaq verb, it asserts the existence of an event of that verb.
-# The event variable <math>e</math> being bound is given by the following superscript.
+# The event variable <math>e</math> being bound is given by the following '''superscript'''.
-# The world variable <math>w</math> the event is in is given by the following subscript.
+# The world variable <math>w</math> in which the event is situated is given by the following '''subscript'''.
-# The aspect information is given underneath the verb. If it starts with a relational operator <math>< t</math> it abbreviates <math>\tau(e) < t</math>.
+# The aspect information is given '''underneath''' the verb. If it starts with a relational operator <math>< t</math> it abbreviates <math>\tau(e) < t</math>.
-# The participants are listed in parentheses. If there is an agent, it's separated from the non-agent participants by a semicolon.
+# The participants are listed in '''parentheses'''. If there is an agent, it's separated from the non-agent participants by a '''semicolon'''.
-# Optionally, a final dot announces the rest of the formula <math>P(e)</math> in which <math>e</math> is bound.
+# Optionally, a final '''dot''' announces the rest of the formula <math>P(e)</math> in which <math>e</math> 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 <math>P(e)</math>: