(Som) WIP: add FocusObj

This commit is contained in:
Inari Listenmaa
2019-07-30 16:38:57 +02:00
parent 8425048557
commit 469718230a
3 changed files with 25 additions and 14 deletions
+4 -1
View File
@@ -27,7 +27,10 @@ lin
-}
-- : Temp -> Pol -> ClSlash -> SSlash ; -- (that) she had not seen
--UseSlash t p cls = {s = \\b => t.s ++ p.s ++ cls.s ! b ! t.t ! t.a ! p.p} ;
UseSlash t p cls = {s = \\b =>
let sent = cls.s ! b ! t.t ! t.a ! p.p in
sent ** {beforeSTM = t.s ++ p.s ++ sent.beforeSTM}
} ;
--2 Imperatives
-- : VP -> Imp ;