⟦extensions-slot.md⟧: Adding type “0+”; adding many examples.

grammar/src/morphology/extensions-slot.md

@@ -14,22 +14,111 @@ There exist several types of extensional prefixes, depending on two factors: how
 
 Below is a list of the different types of extensional prefixes:  
 
-• Type 0: no change in valency, does not select/remove any slot.  
-  Example: -ha- (negation).  
+● Type 0: no change in valency, does not select/remove any slot.  
+  Examples:  
+  -ha- (negation): ⟪it is not the case that ………⟫;
+  -kʰao- (possibility): ⟪it is possible that ………⟫;
+  -šu- (cessative aspect): ⟪……… ceases to be the case⟫;
+  -lu- (past tense): ⟪……… was the case⟫.
+
+
+```
+┌───────────────
+│ ◆ -łı̋
+│ ➥ ➊ is asleep.
+│ 
+│ ◆ -šu-łı̋
+│ ➥ it ceases to be the case that [➊ is asleep].
+│ 
+│ ◆ -ha-[šu-łı̋]
+│ ➥ [it is not the case that [it ceases to be the case that [➊ is asleep]]].
+│ ➥ ➊ doesn't cease to sleep.
+│ 
+│ ◆ -kʰao-[ha-[šu-łı̋]]
+│ ➥ [it is possible that [it is not the case that [
+│      it ceases to be the case that [➊ is asleep]]]].
+│ ➥ maybe ➊ doesn't cease to sleep.
+└─
+```
+
+● Type 0+: same as type 0, but adds an Extensional case slot, represented by ⟪Ⓔ⟫ in definitions.  
+  Examples:  
+  -qao- (causative): ⟪Ⓔ agentively causes, makes ……… be the case⟫.
+
+```
+┌───────────────
+│ ◆ -cál
+│ ➥ ➊ sees ➋.
+│ 
+│ ◆ -qao-cál
+│ ➥ Ⓔ makes [➊ sees ➋] be the case.
+│ 
+│ ◆ -ha-[qao-cál]
+│ ➥ it is not the case that [Ⓔ makes [➊ sees ➋] be the case].
+└─
+```
 
-• Type +: does not select/remove any slot, but adds an affixal slot.  
+● Type +: does not select/remove any slot, but adds an affixal slot.  
   Example: (none currently).  
 
-• Type −: remove one slot, marked by the vowel form.  
+● Type −: remove one slot, marked by the vowel form.  
   Example: (none currently).  
 
-• Type −+: modifies one slot of the stem (sort of removes one and adds one); the vowel marks which slot is selected; the meaning of the slot is modified, but this suffix type does not bind the affixal case, it just reuses the modified case. The resulting valency and case set of the predicate is unchanged.  
-  Example: -n◈-, «[new slot] is me who satisfies the property of [target slot]», -ƛ◈-, «[new slot] attempts to satisfy the property of [target slot]».  
+● Type −+: modifies one slot of the stem (sort of removes one and adds one); the vowel marks which slot is selected; the meaning of the slot is modified, but this suffix type does not bind the extensional case, it just reuses the modified cases. The resulting valency and case set of the predicate is unchanged.  
+  Examples:  
+  -n◈-: ⟪[new slot] is me, who satisfies the property of [target slot]⟫;
+  -k◈-: ⟪[new slot] is you, who satisfies the property of [target slot]⟫;
+  -ŋ◈-, ⟪[new slot] wants to satisfy the property of [target slot]⟫;.  
+  -ƛʼ◈-, ⟪[new slot] attempts to satisfy the property of [target slot]⟫;.  
+  -sc◈-, ⟪[new slot] is all that has the property of [target slot]⟫;.  
 
 • Type −−+: removes two slots and adds one (bound to the affixal case).  
   Example: -kw◈y◈-, «[new slot] are in the reciprocal relationship of [removed pair of slots]».  
 
-...  
-
-⸨TODO: Example sentences.⸩  
+```
+┌───────────────
+│ ◆ -na-łı̋
+│ ❖ -1P:INTR-√is_asleep
+│ ➥ ➊ is me and is asleep.
+└─
+┌───────────────
+│ ◆ -ƛʼa-łı̋
+│ ❖ -try:INTR-√is_asleep
+│ ➥ ➊ tries to be asleep.
+│ 
+│ ◆ -na-ƛʼa-łı̋
+│ ❖ -1P:INTR-try:INTR-√is_asleep
+│ ➥ ➊ is me, who tries to be asleep.
+│ “I try to sleep”.
+└─
+┌───────────────
+│ ◆ -cál
+│ ❖ -√see
+│ ➥ ➊ sees ➋.
+│ 
+│ ◆ -ku-cál
+│ ❖ 2P:ACC-√see
+│ ➥ ➋ is you and has the property [➊ sees ____].
+│ ➥ ➋ is you and is seen by ➊.
+│ ➥ ➊ sees ➋ which is you.
+│ 
+│ ◆ -nı-[ku-cál]
+│ ➥ ➊ is me, who has the property [___ sees ➋ which is you].
+│ ➥ me, who is ➊, sees you, who is ➋.
+│ ➥ “I see you”.
+└─
+┌───────────────
+│ ◆ -nı-[ƛʼı-[ku-cál]]
+│ ➥ ➊ is me, who tries to have the property [___ sees ➋ which is you].
+│ ➥ me, who is ➊, tries to see you, who is ➋.
+│ ➥ “I try to see you”.
+└─
+┌───────────────
+│ ◆ -nı-[ku-[ƛʼu-cál]]
+│ ➥ ➊ is me, who has the property [
+│      ➋ who is you, tries that ___ sees you].
+│ ➥ ➋, you, try to be seen by ➊, me.
+│ ➥ “You try to be seen by me”.
+└─
+```