latin adjectives and determiners
This commit is contained in:
1 parent
f1e022a7da
commit
1e2509a507
8 files changed
+140
-42
No files matched your search
@@ -31,7 +31,7 @@ concrete VerbLat of Verb = CatLat ** open ResLat in {
|
||||
-- (insertObjc (\\a => infVP vv.isAux vp a) (predVc vv)) **
|
||||
-- {c2 = vp.c2} ;
|
||||
--
|
||||
-- UseComp comp = insertObj comp.s (predAux auxBe) ;
|
||||
UseComp comp = insertAdj comp.s (predV esse_V) ;
|
||||
--
|
||||
-- AdvVP vp adv = insertObj (\\_ => adv.s) vp ;
|
||||
--
|
||||
@@ -43,7 +43,7 @@ concrete VerbLat of Verb = CatLat ** open ResLat in {
|
||||
--
|
||||
-----b UseVS, UseVQ = \vv -> {s = vv.s ; c2 = [] ; isRefl = vv.isRefl} ; -- no "to"
|
||||
--
|
||||
-- CompAP ap = ap ;
|
||||
CompAP ap = ap ;
|
||||
-- CompNP np = {s = \\_ => np.s ! Acc} ;
|
||||
-- CompAdv a = {s = \\_ => a.s} ;
|
||||
--
|
||||
|
||||
Reference in new issue
Block a user