add ReflRNP and ReflPron

This commit is contained in:
Krasimir Angelov
2023-11-04 15:03:44 +01:00
parent 2a345b0afc
commit 14825b5617

View File

@@ -2,8 +2,7 @@ incomplete concrete ExtendRomanceFunctor of Extend =
Cat ** open Grammar, ResRomance in { Cat ** open Grammar, ResRomance in {
lincat lincat
RNP = Grammar.NP ; RNP = {s : Agr => Case => Str} ;
RNPList = Grammar.ListNP ;
---- these come from ExtraRomance: how to avoid the repetition? ---- these come from ExtraRomance: how to avoid the repetition?
---- can't seem to be able to use two functors ---- can't seem to be able to use two functors
@@ -153,8 +152,17 @@ incomplete concrete ExtendRomanceFunctor of Extend =
} ; } ;
lin lin
ReflRNP = variants {} ; -- VPSlash -> RNP -> VP ; -- love my family and myself ReflRNP v rnp = -- VPSlash -> RNP -> VP ; -- love my family and myself
ReflPron = variants {} ; -- RNP ; -- myself case v.c2.isDir of {
True => insertRefl v ;
False => insertComplement
(\\a => let agr = verbAgr a in v.c2.s ++ rnp.s ! agr ! v.c2.c) v
} ;
ReflPron = { -- RNP ; -- myself
s = \\agr,c => reflPron agr.n agr.p c
} ;
ReflPoss = variants {} ; -- Num -> CN -> RNP ; -- my car(s) ReflPoss = variants {} ; -- Num -> CN -> RNP ; -- my car(s)
PredetRNP = variants {} ; -- Predet -> RNP -> RNP ; -- all my brothers PredetRNP = variants {} ; -- Predet -> RNP -> RNP ; -- all my brothers
ConjRNP = variants {} ; -- Conj -> RNPList -> RNP ; -- my family, John and myself ConjRNP = variants {} ; -- Conj -> RNPList -> RNP ; -- my family, John and myself