(Extend,Romance) Add construction AdvIsNPAP (#235)

e.g. "here are the instructions documented", default implementation in common/ExtendFunctor is "the instructions are documented here".
This commit is contained in:
Inari Listenmaa
2019-05-06 16:04:46 +02:00
committed by GitHub
parent 1aa440b5bb
commit ba911da6c3
3 changed files with 9 additions and 1 deletions

View File

@@ -123,6 +123,12 @@ incomplete concrete ExtendRomanceFunctor of Extend =
ExistMassCN cn = ExistNP (MassNP cn) ;
ExistPluralCN cn = ExistNP (DetCN (DetQuant IndefArt NumPl) cn) ;
AdvIsNP adv np = mkClause adv.s False False np.a (UseComp_estar (CompNP np)) ;
AdvIsNPAP adv np ap = -- <aquí:Adv> está <documentada:AP> <la examinación:NP>
let emptyN : N = lin N {s = \\_ => [] ; g = np.a.g} ; -- To match the gender of the N
indef : Quant = IndefArt ** {s = \\b,n,g,c => []} ;
det : Det = case np.a.n of {Sg => DetQuant indef NumSg ; Pl => DetQuant indef NumPl} ;
apAsNP : NP = DetCN det (AdjCN ap (UseN emptyN)) ; -- NP where the string comes only from AP
in AdvIsNP adv (ApposNP apAsNP np) ;
lin
ComplBareVS = ComplVS ; -- VS -> S -> VP ; -- say she runs ; DEFAULT say that she runs