--# -path=.:alltenses:prelude

resource CombinatorsFre = Combinators - [appCN, appCNc] with 
  (Cat = CatFre),
  (Structural = StructuralFre),
  (Noun = NounFre),
  (Constructors = ConstructorsFre) ** 
{
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) ; 
}