(May) Add VV complements

This commit is contained in:
Inari Listenmaa
2020-08-19 16:25:33 +02:00
parent 0e065d8005
commit bc0fb02f20
5 changed files with 22 additions and 16 deletions
+8 -9
View File
@@ -18,9 +18,9 @@ lin
-- ReflVP = ResMay.insertRefl ;
-- : VV -> VP -> VP ;
-- ComplVV vv vp = let vc = vp.vComp in case vv.vvtype of {
--
-- } ;
ComplVV vv vp = vp ** {
s = \\vf => vv.s ++ vp.s ! Root
} ;
-- : VS -> S -> VP ;
-- ComplVS vs s =
@@ -67,15 +67,14 @@ lin
-- : VPSlash -> NP -> VP
ComplSlash vps np = {s = \\vf => vps.s ! vf ++ vps.c2.s ++ np.s} ;
{-
-- : VV -> VPSlash -> VPSlash ;
-- Just like ComplVV except missing subject!
SlashVV vv vps = ComplVV vv vps ** { missing = vps.missing ;
post = vps.post } ;
SlashVV vv vps = ComplVV vv vps ** {
c2 = vps.c2 ; -- like ComplVV except missing object
passive = vv.s ++ vps.passive
} ;
-- : V2V -> NP -> VPSlash -> VPSlash ; -- beg me to buy
SlashV2VNP v2v np vps =
-}
-- SlashV2VNP v2v np vps =
-- : Comp -> VP ;
UseComp comp = comp ;