(Som) Update FocusObj and UseSlash to new type of SSlash

2019-10-03 17:59:00 +02:00
parent 5871f9c165
commit c2e0c709a7
2 changed files with 6 additions and 6 deletions
@@ -28,7 +28,11 @@ lin
 -}
  --  : Temp -> Pol -> ClSlash -> SSlash ; -- (that) she had not seen
  UseSlash t p cls = {
-    s = \\isSubord => let cl = cl2sentence isSubord cls in
+    s = \\isSubord =>
+        let cls' : ClSlash = cls ** {
+                    stm = modSTM "waxa" "waxa aan" cls.stm -- Saeed p. 195
+                  } ;
+            cl : Clause = cl2sentence isSubord cls' in
        t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p
    } ;