(Som) Add ComplVS

This commit is contained in:
Inari Listenmaa
2019-08-27 16:38:33 +02:00
parent d2b49b1936
commit fef2d75ca6
3 changed files with 15 additions and 13 deletions

View File

@@ -1,4 +1,4 @@
concrete VerbSom of Verb = CatSom ** open ResSom, Prelude in {
concrete VerbSom of Verb = CatSom ** open ResSom, AdverbSom, Prelude in {
lin
@@ -20,10 +20,14 @@ lin
vComp = vp.vComp ++ vp.s ! VInf ;
pred = NoPred ;
} ;
{-
-- : VS -> S -> VP ;
ComplVS vs s = ;
-- : VS -> S -> VP ;
ComplVS vs s =
let vps = useV vs ;
subord = SubjS {s="in"} s ;
in vps ** {obj2 = {s = subord.berri ; a = P3_Prep}} ;
{-
-- : VQ -> QS -> VP ;
ComplVQ vq qs = ;