1
0
forked from GitHub/gf-core

updated wide coverage NDTrans Eng,Swe with the new constructs.

This commit is contained in:
aarne
2014-02-14 15:41:37 +00:00
parent 35395c22b6
commit 94c28d7eca
4 changed files with 31 additions and 4 deletions

View File

@@ -1,4 +1,4 @@
abstract NDPred = Cat [Ant,NP,Utt,IP,IAdv,Conj] ** {
abstract NDPred = Cat [Ant,NP,Utt,IP,IAdv,IComp,Conj,RS,RP] ** {
cat
--< Arg ;
@@ -179,6 +179,9 @@ fun
--< QuestIAdv : (a : Arg) -> IAdv -> PrCl a -> PrQCl a ;
QuestIAdv_none : IAdv -> PrCl_none -> PrQCl_none ;
QuestIComp_none : Ant -> Tense -> Pol -> IComp -> NP -> PrQCl_none ; -- where is she
--< UseCl : PrCl aNone -> PrS ;
UseCl_none : PrCl_none -> PrS ;
@@ -198,6 +201,15 @@ fun
AdvQCl_none : PrAdv_none -> PrQCl_none -> PrQCl_none ;
AdvQCl_np : PrAdv_np -> PrQCl_none -> PrQCl_np ;
-- relatives: just one of each
RelCl_none : PrCl_none -> RS ;
RelVP_none : RP -> PrVP_none -> RS ;
RelSlash_none : RP -> PrCl_np -> RS ;
-- imperatives: just one of each
PrImpSg : PrVP_none -> Utt ;
PrImpPl : PrVP_none -> Utt ;
-- participles as adjectives

View File

@@ -1,5 +1,5 @@
concrete NDPredEng of Pred =
CatEng [Ant,NP,Utt,IP,IAdv,Conj] **
CatEng [Ant,NP,Utt,IP,IAdv,IComp,Conj,RS,RP] **
NDPredFunctor with
(PredInterface = PredInstanceEng),
(Pred = PredEng) ;

View File

@@ -1,5 +1,5 @@
incomplete concrete NDPredFunctor of NDPred =
Cat [Ant,NP,Utt,IP,IAdv,Conj] **
Cat [Ant,NP,Utt,IP,IAdv,Conj,RS,RP] **
open
PredInterface,
Pred,
@@ -131,6 +131,9 @@ lin
QuestIAdv_none
= Pred.QuestIAdv Pred.aNone ;
QuestIComp_none
= Pred.QuestIComp ;
QuestVP_none
= Pred.QuestVP Pred.aNone ;
@@ -153,6 +156,18 @@ lin
AdvQCl_none, AdvQCl_np
= Pred.AdvQCl Pred.aNone ;
---- RelCl_none
---- = Pred.RelCl Pred.aNone ;
RelVP_none
= Pred.RelVP ;
RelSlash_none
= Pred.RelSlash ;
PrImpSg
= Pred.PrImpSg ;
PrImpPl
= Pred.PrImpPl ;
PresPartAP_none, PresPartAP_np
= Pred.PresPartAP Pred.aNone ;

View File

@@ -1,5 +1,5 @@
concrete NDPredSwe of Pred =
CatSwe [Ant,NP,Utt,IP,IAdv,Conj] **
CatSwe [Ant,NP,Utt,IP,IAdv,IComp,Conj,RS,RP] **
NDPredFunctor with
(PredInterface = PredInstanceSwe),
(Pred = PredSwe) ;