(Som) VV complements + some restructuring.

2019-07-01 20:30:06 +02:00
parent ca06dc4e1d
commit e4394b633c
4 changed files with 83 additions and 67 deletions
@@ -10,10 +10,12 @@ lin

  --  : V2 -> VP ; -- be loved
  PassV2 = ResSom.passV2 ;
-{-
-  -- : VV  -> VP -> VP ;
-  ComplVV vv vp =  ; -- TODO Sayeed p. 169

+  -- : VV  -> VP -> VP ;
+  ComplVV vv vp = useV vv ** {  -- check Sayeed p. 169
+    vComp = infVP vp
+    } ;
+{-
  -- : VS  -> S  -> VP ;
  ComplVS vs s = ;