Files
gf-core/lib/src/api/CombinatorsFin.gf

17 lines
412 B
Plaintext

--# -path=.:alltenses:prelude
resource CombinatorsFin = Combinators - [appCN, appCNc] with
(Cat = CatFin),
(Structural = StructuralFin),
(Noun = NounFin),
(Constructors = ConstructorsFin) **
{
oper
appCN : CN -> NP -> NP
= \cn,x -> mkNP the_Art (PossNP cn x) ;
appCNc : CN -> [NP] -> NP
= \cn,xs -> let np : NP = mkNP and_Conj xs
in mkNP the_Art (PossNP cn np) ;
}