mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 09:32:53 -06:00
started transfer from old Parse grammar to new Pred grammar
This commit is contained in:
aarne
334
lib/src/experimental/transfer/Both.gf
Normal file
334
lib/src/experimental/transfer/Both.gf
Normal file
@@ -0,0 +1,334 @@
|
|||||||
|
--# -path=..:../../translator
|
||||||
|
|
||||||
|
abstract Both =
|
||||||
|
Old,
|
||||||
|
New - [AAnter,ASimul,PPos,PNeg,TPres,TPast,TFut,TCond,AdAdV,ApposNP,CompoundCN,UttAdV]
|
||||||
|
;
|
||||||
|
|
||||||
|
{-
|
||||||
|
|
||||||
|
Both> pg -cats
|
||||||
|
A A2 AP AdA AdN AdV Adv Ant CAdv CN Card Cl ClC_none ClC_np ClSlash Comp Conj Det Digits Float IAdv IComp IDet IP IQuant Imp Int Interj ListAP ListAdV ListAdv ListCN ListIAdv ListNP ListRS ListS ListVPI ListVPS N N2 N3 NP Num Numeral Ord PConj PN Phr Pol PrAP_none PrAP_np PrAdv_none PrAdv_np PrCN_none PrCN_np PrCl_none PrCl_np PrQCl_none PrQCl_np PrS PrVPI_none PrVPI_np PrVP_a PrVP_n PrVP_none PrVP_np PrVP_np_a PrVP_np_n PrVP_np_np PrVP_np_q PrVP_np_s PrVP_np_v PrVP_q PrVP_s PrVP_v PrV_a PrV_n PrV_none PrV_np PrV_np_a PrV_np_n PrV_np_np PrV_np_q PrV_np_s PrV_np_v PrV_q PrV_s PrV_v Predet Prep Pron QCl QS QVP Quant RCl RP RS S SC SSlash String Subj Symb Temp Tense Text Utt V V2 V2A V2Q V2S V2V V3 VA VP VPC_none VPC_np VPI VPS VPSlash VQ VS VV Voc
|
||||||
|
0 msec
|
||||||
|
|
||||||
|
|
||||||
|
Both> pg -funs
|
||||||
|
AAnter : Ant ;
|
||||||
|
ASimul : Ant ;
|
||||||
|
AdAP : AdA -> AP -> AP ;
|
||||||
|
AdAdV : AdA -> AdV -> AdV ;
|
||||||
|
AdAdv : AdA -> Adv -> Adv ;
|
||||||
|
AdNum : AdN -> Card -> Card ;
|
||||||
|
AdVVP : AdV -> VP -> VP ;
|
||||||
|
AdVVPSlash : AdV -> VPSlash -> VPSlash ;
|
||||||
|
AddAdvQVP : QVP -> IAdv -> QVP ;
|
||||||
|
AdjCN : AP -> CN -> CN ;
|
||||||
|
AdjOrd : Ord -> AP ;
|
||||||
|
AdnCAdv : CAdv -> AdN ;
|
||||||
|
AdvAP : AP -> Adv -> AP ;
|
||||||
|
AdvCN : CN -> Adv -> CN ;
|
||||||
|
AdvCl_none : PrAdv_none -> PrCl_none -> PrCl_none ;
|
||||||
|
AdvCl_np : PrAdv_np -> PrCl_none -> PrCl_np ;
|
||||||
|
AdvIAdv : IAdv -> Adv -> IAdv ;
|
||||||
|
AdvIP : IP -> Adv -> IP ;
|
||||||
|
AdvNP : NP -> Adv -> NP ;
|
||||||
|
AdvQCl_none : PrAdv_none -> PrQCl_none -> PrQCl_none ;
|
||||||
|
AdvQCl_np : PrAdv_np -> PrQCl_none -> PrQCl_np ;
|
||||||
|
AdvQVP : VP -> IAdv -> QVP ;
|
||||||
|
AdvS : Adv -> S -> S ;
|
||||||
|
AdvSlash : ClSlash -> Adv -> ClSlash ;
|
||||||
|
AdvVP : VP -> Adv -> VP ;
|
||||||
|
AdvVPSlash : VPSlash -> Adv -> VPSlash ;
|
||||||
|
AgentPassUseV_a : Ant -> Tense -> Pol -> PrV_np_a -> NP -> PrVP_a ;
|
||||||
|
AgentPassUseV_n : Ant -> Tense -> Pol -> PrV_np_n -> NP -> PrVP_n ;
|
||||||
|
AgentPassUseV_none : Ant -> Tense -> Pol -> PrV_np -> NP -> PrVP_none ;
|
||||||
|
AgentPassUseV_np : Ant -> Tense -> Pol -> PrV_np_np -> NP -> PrVP_np ;
|
||||||
|
AgentPassUseV_q : Ant -> Tense -> Pol -> PrV_np_q -> NP -> PrVP_q ;
|
||||||
|
AgentPassUseV_s : Ant -> Tense -> Pol -> PrV_np_s -> NP -> PrVP_s ;
|
||||||
|
AgentPassUseV_v : Ant -> Tense -> Pol -> PrV_np_v -> NP -> PrVP_v ;
|
||||||
|
AgentPastPartAP_none : PrV_np -> NP -> PrAP_none ;
|
||||||
|
ApposCN : CN -> NP -> CN ;
|
||||||
|
ApposNP : NP -> NP -> NP ;
|
||||||
|
BaseAP : AP -> AP -> ListAP ;
|
||||||
|
BaseAdV : AdV -> AdV -> ListAdV ;
|
||||||
|
BaseAdv : Adv -> Adv -> ListAdv ;
|
||||||
|
BaseCN : CN -> CN -> ListCN ;
|
||||||
|
BaseIAdv : IAdv -> IAdv -> ListIAdv ;
|
||||||
|
BaseNP : NP -> NP -> ListNP ;
|
||||||
|
BaseRS : RS -> RS -> ListRS ;
|
||||||
|
BaseS : S -> S -> ListS ;
|
||||||
|
BaseVPI : VPI -> VPI -> ListVPI ;
|
||||||
|
BaseVPS : VPS -> VPS -> ListVPS ;
|
||||||
|
CAdvAP : CAdv -> AP -> NP -> AP ;
|
||||||
|
CNNumNP : CN -> Card -> NP ;
|
||||||
|
CompAP : AP -> Comp ;
|
||||||
|
CompAdv : Adv -> Comp ;
|
||||||
|
CompCN : CN -> Comp ;
|
||||||
|
CompIAdv : IAdv -> IComp ;
|
||||||
|
CompIP : IP -> IComp ;
|
||||||
|
CompNP : NP -> Comp ;
|
||||||
|
CompQS : QS -> Comp ;
|
||||||
|
CompS : S -> Comp ;
|
||||||
|
CompVP : Ant -> Pol -> VP -> Comp ;
|
||||||
|
ComparA : A -> NP -> AP ;
|
||||||
|
ComparAdvAdj : CAdv -> A -> NP -> Adv ;
|
||||||
|
ComparAdvAdjS : CAdv -> A -> S -> Adv ;
|
||||||
|
ComplA2 : A2 -> NP -> AP ;
|
||||||
|
ComplAdv_none : PrAdv_np -> NP -> PrAdv_none ;
|
||||||
|
ComplN2 : N2 -> NP -> CN ;
|
||||||
|
ComplN3 : N3 -> NP -> N2 ;
|
||||||
|
ComplSlash : VPSlash -> NP -> VP ;
|
||||||
|
ComplSlashIP : VPSlash -> IP -> QVP ;
|
||||||
|
ComplV2_none : PrVP_np -> NP -> PrVP_none ;
|
||||||
|
ComplVA : VA -> AP -> VP ;
|
||||||
|
ComplVA_none : PrVP_a -> PrAP_none -> PrVP_none ;
|
||||||
|
ComplVN_none : PrVP_n -> PrCN_none -> PrVP_none ;
|
||||||
|
ComplVPIVV : VV -> VPI -> VP ;
|
||||||
|
ComplVQ : VQ -> QS -> VP ;
|
||||||
|
ComplVQ_none : PrVP_q -> PrQCl_none -> PrVP_none ;
|
||||||
|
ComplVS : VS -> S -> VP ;
|
||||||
|
ComplVS_none : PrVP_s -> PrCl_none -> PrVP_none ;
|
||||||
|
ComplVS_np : PrVP_s -> PrCl_np -> PrVP_np ;
|
||||||
|
ComplVV : VV -> Ant -> Pol -> VP -> VP ;
|
||||||
|
ComplVV_none : PrVP_v -> PrVPI_none -> PrVP_none ;
|
||||||
|
ComplVV_np : PrVP_v -> PrVPI_np -> PrVP_np ;
|
||||||
|
CompoundCN : N -> CN -> CN ;
|
||||||
|
ConjAP : Conj -> ListAP -> AP ;
|
||||||
|
ConjAdV : Conj -> ListAdV -> AdV ;
|
||||||
|
ConjAdv : Conj -> ListAdv -> Adv ;
|
||||||
|
ConjCN : Conj -> ListCN -> CN ;
|
||||||
|
ConjIAdv : Conj -> ListIAdv -> IAdv ;
|
||||||
|
ConjNP : Conj -> ListNP -> NP ;
|
||||||
|
ConjRS : Conj -> ListRS -> RS ;
|
||||||
|
ConjS : Conj -> ListS -> S ;
|
||||||
|
ConjVPI : Conj -> ListVPI -> VPI ;
|
||||||
|
ConjVPS : Conj -> ListVPS -> VPS ;
|
||||||
|
ConsAP : AP -> ListAP -> ListAP ;
|
||||||
|
ConsAdV : AdV -> ListAdV -> ListAdV ;
|
||||||
|
ConsAdv : Adv -> ListAdv -> ListAdv ;
|
||||||
|
ConsCN : CN -> ListCN -> ListCN ;
|
||||||
|
ConsIAdv : IAdv -> ListIAdv -> ListIAdv ;
|
||||||
|
ConsNP : NP -> ListNP -> ListNP ;
|
||||||
|
ConsRS : RS -> ListRS -> ListRS ;
|
||||||
|
ConsS : S -> ListS -> ListS ;
|
||||||
|
ConsVPI : VPI -> ListVPI -> ListVPI ;
|
||||||
|
ConsVPS : VPS -> ListVPS -> ListVPS ;
|
||||||
|
ContClC_none : PrCl_none -> ClC_none -> ClC_none ;
|
||||||
|
ContClC_np : PrCl_np -> ClC_np -> ClC_np ;
|
||||||
|
ContVPC_none : PrVP_none -> VPC_none -> VPC_none ;
|
||||||
|
ContVPC_np : PrVP_np -> VPC_np -> VPC_np ;
|
||||||
|
CountNP : Det -> NP -> NP ;
|
||||||
|
DefArt : Quant ;
|
||||||
|
DetCN : Det -> CN -> NP ;
|
||||||
|
DetNP : Det -> NP ;
|
||||||
|
DetQuant : Quant -> Num -> Det ;
|
||||||
|
DetQuantOrd : Quant -> Num -> Ord -> Det ;
|
||||||
|
EmbedQS : QS -> SC ;
|
||||||
|
EmbedS : S -> SC ;
|
||||||
|
EmbedVP : VP -> SC ;
|
||||||
|
EmptyRelSlash : ClSlash -> RCl ;
|
||||||
|
ExistNP : NP -> Cl ;
|
||||||
|
ExtAdvNP : NP -> Adv -> NP ;
|
||||||
|
ExtAdvS : Adv -> S -> S ;
|
||||||
|
ExtAdvVP : VP -> Adv -> VP ;
|
||||||
|
FunRP : Prep -> NP -> RP -> RP ;
|
||||||
|
GenIP : IP -> IQuant ;
|
||||||
|
GenNP : NP -> Quant ;
|
||||||
|
GenRP : Num -> CN -> RP ;
|
||||||
|
GerundAdv : VP -> Adv ;
|
||||||
|
GerundCN : VP -> CN ;
|
||||||
|
GerundNP : VP -> NP ;
|
||||||
|
IdRP : RP ;
|
||||||
|
IdetCN : IDet -> CN -> IP ;
|
||||||
|
IdetIP : IDet -> IP ;
|
||||||
|
IdetQuant : IQuant -> Num -> IDet ;
|
||||||
|
ImpVP : VP -> Imp ;
|
||||||
|
IndefArt : Quant ;
|
||||||
|
InfVP_none : PrVP_none -> PrVPI_none ;
|
||||||
|
InfVP_np : PrVP_np -> PrVPI_np ;
|
||||||
|
MassNP : CN -> NP ;
|
||||||
|
MkSymb : String -> Symb ;
|
||||||
|
MkVPI : VP -> VPI ;
|
||||||
|
MkVPS : Temp -> Pol -> VP -> VPS ;
|
||||||
|
NoPConj : PConj ;
|
||||||
|
NoVoc : Voc ;
|
||||||
|
NumCard : Card -> Num ;
|
||||||
|
NumDigits : Digits -> Card ;
|
||||||
|
NumNumeral : Numeral -> Card ;
|
||||||
|
NumPl : Num ;
|
||||||
|
NumSg : Num ;
|
||||||
|
OrdDigits : Digits -> Ord ;
|
||||||
|
OrdNumeral : Numeral -> Ord ;
|
||||||
|
OrdSuperl : A -> Ord ;
|
||||||
|
PConjConj : Conj -> PConj ;
|
||||||
|
PNeg : Pol ;
|
||||||
|
PPartNP : NP -> V2 -> NP ;
|
||||||
|
PPos : Pol ;
|
||||||
|
PartNP : CN -> NP -> CN ;
|
||||||
|
PassAgentVPSlash : VPSlash -> NP -> VP ;
|
||||||
|
PassUseV_a : Ant -> Tense -> Pol -> PrV_np_a -> PrVP_a ;
|
||||||
|
PassUseV_n : Ant -> Tense -> Pol -> PrV_np_n -> PrVP_n ;
|
||||||
|
PassUseV_none : Ant -> Tense -> Pol -> PrV_np -> PrVP_none ;
|
||||||
|
PassUseV_np : Ant -> Tense -> Pol -> PrV_np_np -> PrVP_np ;
|
||||||
|
PassUseV_q : Ant -> Tense -> Pol -> PrV_np_q -> PrVP_q ;
|
||||||
|
PassUseV_s : Ant -> Tense -> Pol -> PrV_np_s -> PrVP_s ;
|
||||||
|
PassUseV_v : Ant -> Tense -> Pol -> PrV_np_v -> PrVP_v ;
|
||||||
|
PassVPSlash : VPSlash -> VP ;
|
||||||
|
PastPartAP : VPSlash -> AP ;
|
||||||
|
PastPartAP_none : PrV_np -> PrAP_none ;
|
||||||
|
PastPartAgentAP : VPSlash -> NP -> AP ;
|
||||||
|
PastPartRS : Ant -> Pol -> VPSlash -> RS ;
|
||||||
|
PhrUtt : PConj -> Utt -> Voc -> Phr ;
|
||||||
|
PositA : A -> AP ;
|
||||||
|
PositAdAAdj : A -> AdA ;
|
||||||
|
PositAdVAdj : A -> AdV ;
|
||||||
|
PositAdvAdj : A -> Adv ;
|
||||||
|
PossNP : CN -> NP -> CN ;
|
||||||
|
PossPron : Pron -> Quant ;
|
||||||
|
PredFrontVQ : Temp -> NP -> VQ -> QS -> S ;
|
||||||
|
PredFrontVS : Temp -> NP -> VS -> S -> S ;
|
||||||
|
PredSCVP : SC -> VP -> Cl ;
|
||||||
|
PredVP : NP -> VP -> Cl ;
|
||||||
|
PredVPS : NP -> VPS -> S ;
|
||||||
|
PredVP_none : NP -> PrVP_none -> PrCl_none ;
|
||||||
|
PredVP_np : NP -> PrVP_np -> PrCl_np ;
|
||||||
|
PredetNP : Predet -> NP -> NP ;
|
||||||
|
PrepIP : Prep -> IP -> IAdv ;
|
||||||
|
PrepNP : Prep -> NP -> Adv ;
|
||||||
|
PresPartAP : VP -> AP ;
|
||||||
|
PresPartAP_none : PrV_none -> PrAP_none ;
|
||||||
|
PresPartAP_np : PrV_np -> PrAP_np ;
|
||||||
|
PresPartRS : Ant -> Pol -> VP -> RS ;
|
||||||
|
ProgrVP : VP -> VP ;
|
||||||
|
QuestCl : Cl -> QCl ;
|
||||||
|
QuestCl_none : PrCl_none -> PrQCl_none ;
|
||||||
|
QuestCl_np : PrCl_np -> PrQCl_np ;
|
||||||
|
QuestIAdv : IAdv -> Cl -> QCl ;
|
||||||
|
QuestIAdv_none : IAdv -> PrCl_none -> PrQCl_none ;
|
||||||
|
QuestIComp : IComp -> NP -> QCl ;
|
||||||
|
QuestQVP : IP -> QVP -> QCl ;
|
||||||
|
QuestSlash : IP -> ClSlash -> QCl ;
|
||||||
|
QuestSlash_none : IP -> PrQCl_np -> PrQCl_none ;
|
||||||
|
QuestVP : IP -> VP -> QCl ;
|
||||||
|
QuestVP_none : IP -> PrVP_none -> PrQCl_none ;
|
||||||
|
ReflA2 : A2 -> AP ;
|
||||||
|
ReflVP : VPSlash -> VP ;
|
||||||
|
ReflVP2_np : PrVP_np_np -> PrVP_np ;
|
||||||
|
ReflVP_a : PrVP_np_a -> PrVP_a ;
|
||||||
|
ReflVP_n : PrVP_np_n -> PrVP_n ;
|
||||||
|
ReflVP_none : PrVP_np -> PrVP_none ;
|
||||||
|
ReflVP_np : PrVP_np_np -> PrVP_np ;
|
||||||
|
ReflVP_q : PrVP_np_q -> PrVP_q ;
|
||||||
|
ReflVP_s : PrVP_np_s -> PrVP_s ;
|
||||||
|
ReflVP_v : PrVP_np_v -> PrVP_v ;
|
||||||
|
RelCN : CN -> RS -> CN ;
|
||||||
|
RelCl : Cl -> RCl ;
|
||||||
|
RelNP : NP -> RS -> NP ;
|
||||||
|
RelS : S -> RS -> S ;
|
||||||
|
RelSlash : RP -> ClSlash -> RCl ;
|
||||||
|
RelVP : RP -> VP -> RCl ;
|
||||||
|
SSubjS : S -> Subj -> S -> S ;
|
||||||
|
SelfAdVVP : VP -> VP ;
|
||||||
|
SelfAdvVP : VP -> VP ;
|
||||||
|
SelfNP : NP -> NP ;
|
||||||
|
SentAP : AP -> SC -> AP ;
|
||||||
|
SentCN : CN -> SC -> CN ;
|
||||||
|
Slash2V3 : V3 -> NP -> VPSlash ;
|
||||||
|
Slash3V3 : V3 -> NP -> VPSlash ;
|
||||||
|
SlashClNP_none : PrCl_np -> NP -> PrCl_none ;
|
||||||
|
SlashPrep : Cl -> Prep -> ClSlash ;
|
||||||
|
SlashSlashV2V : V2V -> Ant -> Pol -> VPSlash -> VPSlash ;
|
||||||
|
SlashV2A : V2A -> AP -> VPSlash ;
|
||||||
|
SlashV2A_none : PrVP_np_a -> PrAP_none -> PrVP_np ;
|
||||||
|
SlashV2N_none : PrVP_np_n -> PrCN_none -> PrVP_np ;
|
||||||
|
SlashV2Q : V2Q -> QS -> VPSlash ;
|
||||||
|
SlashV2Q_none : PrVP_np_q -> PrQCl_none -> PrVP_np ;
|
||||||
|
SlashV2S : V2S -> S -> VPSlash ;
|
||||||
|
SlashV2S_none : PrVP_np_s -> PrCl_none -> PrVP_np ;
|
||||||
|
SlashV2V : V2V -> Ant -> Pol -> VP -> VPSlash ;
|
||||||
|
SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash ;
|
||||||
|
SlashV2V_none : PrVP_np_v -> PrVPI_none -> PrVP_np ;
|
||||||
|
SlashV2V_np : PrVP_np_v -> PrVPI_np -> PrVP_np_np ;
|
||||||
|
SlashV2a : V2 -> VPSlash ;
|
||||||
|
SlashV3_none : PrVP_np_np -> NP -> PrVP_np ;
|
||||||
|
SlashVP : NP -> VPSlash -> ClSlash ;
|
||||||
|
SlashVPIV2V : V2V -> Pol -> VPI -> VPSlash ;
|
||||||
|
SlashVS : NP -> VS -> SSlash -> ClSlash ;
|
||||||
|
SlashVV : VV -> VPSlash -> VPSlash ;
|
||||||
|
StartClC_none : Conj -> PrCl_none -> PrCl_none -> ClC_none ;
|
||||||
|
StartClC_np : Conj -> PrCl_np -> PrCl_np -> ClC_np ;
|
||||||
|
StartVPC_none : Conj -> PrVP_none -> PrVP_none -> VPC_none ;
|
||||||
|
StartVPC_np : Conj -> PrVP_np -> PrVP_np -> VPC_np ;
|
||||||
|
SubjS : Subj -> S -> Adv ;
|
||||||
|
SymbPN : Symb -> PN ;
|
||||||
|
TCond : Tense ;
|
||||||
|
TFut : Tense ;
|
||||||
|
TPast : Tense ;
|
||||||
|
TPres : Tense ;
|
||||||
|
TTAnt : Tense -> Ant -> Temp ;
|
||||||
|
Use2N3 : N3 -> N2 ;
|
||||||
|
Use3N3 : N3 -> N2 ;
|
||||||
|
UseA2 : A2 -> AP ;
|
||||||
|
UseAP_none : Ant -> Tense -> Pol -> PrAP_none -> PrVP_none ;
|
||||||
|
UseAP_np : Ant -> Tense -> Pol -> PrAP_np -> PrVP_np ;
|
||||||
|
UseAdvCl_none : PrAdv_none -> PrCl_none -> PrS ;
|
||||||
|
UseAdv_none : Ant -> Tense -> Pol -> PrAdv_none -> PrVP_none ;
|
||||||
|
UseAdv_np : Ant -> Tense -> Pol -> PrAdv_np -> PrVP_np ;
|
||||||
|
UseCN_none : Ant -> Tense -> Pol -> PrCN_none -> PrVP_none ;
|
||||||
|
UseCN_np : Ant -> Tense -> Pol -> PrCN_np -> PrVP_np ;
|
||||||
|
UseCl : Temp -> Pol -> Cl -> S ;
|
||||||
|
UseClC_none : ClC_none -> PrCl_none ;
|
||||||
|
UseClC_np : ClC_np -> PrCl_np ;
|
||||||
|
UseCl_none : PrCl_none -> PrS ;
|
||||||
|
UseComp : Comp -> VP ;
|
||||||
|
UseComparA : A -> AP ;
|
||||||
|
UseN : N -> CN ;
|
||||||
|
UseN2 : N2 -> CN ;
|
||||||
|
UseNP_none : Ant -> Tense -> Pol -> NP -> PrVP_none ;
|
||||||
|
UsePN : PN -> NP ;
|
||||||
|
UsePron : Pron -> NP ;
|
||||||
|
UseQCl : Temp -> Pol -> QCl -> QS ;
|
||||||
|
UseQCl_none : PrQCl_none -> PrS ;
|
||||||
|
UseQuantPN : Quant -> PN -> NP ;
|
||||||
|
UseRCl : Temp -> Pol -> RCl -> RS ;
|
||||||
|
UseSlash : Temp -> Pol -> ClSlash -> SSlash ;
|
||||||
|
UseV : V -> VP ;
|
||||||
|
UseVPC_none : VPC_none -> PrVP_none ;
|
||||||
|
UseVPC_np : VPC_np -> PrVP_np ;
|
||||||
|
UseV_a : Ant -> Tense -> Pol -> PrV_a -> PrVP_a ;
|
||||||
|
UseV_n : Ant -> Tense -> Pol -> PrV_v -> PrVP_n ;
|
||||||
|
UseV_none : Ant -> Tense -> Pol -> PrV_none -> PrVP_none ;
|
||||||
|
UseV_np : Ant -> Tense -> Pol -> PrV_np -> PrVP_np ;
|
||||||
|
UseV_np_a : Ant -> Tense -> Pol -> PrV_np_a -> PrVP_np_a ;
|
||||||
|
UseV_np_n : Ant -> Tense -> Pol -> PrV_np_n -> PrVP_np_n ;
|
||||||
|
UseV_np_np : Ant -> Tense -> Pol -> PrV_np_np -> PrVP_np_np ;
|
||||||
|
UseV_np_q : Ant -> Tense -> Pol -> PrV_np_q -> PrVP_np_q ;
|
||||||
|
UseV_np_s : Ant -> Tense -> Pol -> PrV_np_s -> PrVP_np_s ;
|
||||||
|
UseV_np_v : Ant -> Tense -> Pol -> PrV_np_v -> PrVP_np_v ;
|
||||||
|
UseV_q : Ant -> Tense -> Pol -> PrV_q -> PrVP_q ;
|
||||||
|
UseV_s : Ant -> Tense -> Pol -> PrV_s -> PrVP_s ;
|
||||||
|
UseV_v : Ant -> Tense -> Pol -> PrV_v -> PrVP_v ;
|
||||||
|
UttAP : AP -> Utt ;
|
||||||
|
UttAdV : AdV -> Utt ;
|
||||||
|
UttAdv : Adv -> Utt ;
|
||||||
|
UttCN : CN -> Utt ;
|
||||||
|
UttCard : Card -> Utt ;
|
||||||
|
UttIAdv : IAdv -> Utt ;
|
||||||
|
UttIP : IP -> Utt ;
|
||||||
|
UttImpPl : Pol -> Imp -> Utt ;
|
||||||
|
UttImpPol : Pol -> Imp -> Utt ;
|
||||||
|
UttImpSg : Pol -> Imp -> Utt ;
|
||||||
|
UttInterj : Interj -> Utt ;
|
||||||
|
UttNP : NP -> Utt ;
|
||||||
|
UttPrS : PrS -> Utt ;
|
||||||
|
UttQS : QS -> Utt ;
|
||||||
|
UttS : S -> Utt ;
|
||||||
|
UttVP : VP -> Utt ;
|
||||||
|
VPSlashPrep : VP -> Prep -> VPSlash ;
|
||||||
|
VPSlashVS : VS -> VP -> VPSlash ;
|
||||||
|
VocNP : NP -> Voc ;
|
||||||
|
that_RP : RP ;
|
||||||
|
who_RP : RP ;
|
||||||
|
|
||||||
|
|
||||||
|
-}
|
||||||
3067
lib/src/experimental/transfer/Both.hs
Normal file
3067
lib/src/experimental/transfer/Both.hs
Normal file
File diff suppressed because it is too large
Load Diff
256
lib/src/experimental/transfer/New.gf
Normal file
256
lib/src/experimental/transfer/New.gf
Normal file
@@ -0,0 +1,256 @@
|
|||||||
|
--# -path=..:../../translator
|
||||||
|
|
||||||
|
abstract New =
|
||||||
|
|
||||||
|
--abstract NDTrans =
|
||||||
|
|
||||||
|
---- Tense,
|
||||||
|
NDPred - [Pol,Tense],
|
||||||
|
NDLift [LiftV,LiftV2,LiftVS,LiftVQ,LiftVA,LiftVN,LiftVV,
|
||||||
|
LiftV3,LiftV2S,LiftV2Q,LiftV2A,LiftV2N,LiftV2V,
|
||||||
|
LiftAP,LiftA2,LiftCN,LiftN2,LiftAdV,LiftPrep,
|
||||||
|
|
||||||
|
AppAPCN
|
||||||
|
],
|
||||||
|
Noun,
|
||||||
|
Adjective,
|
||||||
|
--- Numeral,
|
||||||
|
Conjunction,
|
||||||
|
---- Verb,
|
||||||
|
Adverb,
|
||||||
|
Phrase,
|
||||||
|
---- Sentence,
|
||||||
|
Question - [QuestCl,QuestVP,QuestSlash,QuestIAdv,QuestIComp],
|
||||||
|
Relative - [RelCl,RelVP,RelSlash],
|
||||||
|
Idiom [NP, VP, Cl, Tense, ProgrVP, ExistNP, SelfAdvVP, SelfAdVVP, SelfNP],
|
||||||
|
|
||||||
|
Symbol [PN, Symb, String, CN, Card, NP, MkSymb, SymbPN, CNNumNP] ---- why only these?
|
||||||
|
|
||||||
|
---- Construction,
|
||||||
|
---- Extensions,
|
||||||
|
---- Documentation ;
|
||||||
|
,Extensions [CN,NP,AdA,AdV,CompoundCN,AdAdV,UttAdV,ApposNP]
|
||||||
|
|
||||||
|
;
|
||||||
|
|
||||||
|
{-
|
||||||
|
New> pg -cats
|
||||||
|
A A2 AP AdA AdN AdV Adv Ant CAdv CN Card Cl ClC_none ClC_np ClSlash Comp Conj Det Digits Float IAdv IComp IDet IP IQuant Imp Int Interj ListAP ListAdV ListAdv ListCN ListIAdv ListNP ListRS ListS N N2 N3 NP Num Numeral Ord PConj PN Phr Pol PrAP_none PrAP_np PrAdv_none PrAdv_np PrCN_none PrCN_np PrCl_none PrCl_np PrQCl_none PrQCl_np PrS PrVPI_none PrVPI_np PrVP_a PrVP_n PrVP_none PrVP_np PrVP_np_a PrVP_np_n PrVP_np_np PrVP_np_q PrVP_np_s PrVP_np_v PrVP_q PrVP_s PrVP_v PrV_a PrV_n PrV_none PrV_np PrV_np_a PrV_np_n PrV_np_np PrV_np_q PrV_np_s PrV_np_v PrV_q PrV_s PrV_v Predet Prep Pron QCl QS Quant RCl RP RS S SC SSlash String Subj Symb Temp Tense Text Utt V V2 V2A V2Q V2S V2V V3 VA VP VPC_none VPC_np VPSlash VQ VS VV Voc
|
||||||
|
0 msec
|
||||||
|
New> pg -funs
|
||||||
|
AAnter : Ant ;
|
||||||
|
ASimul : Ant ;
|
||||||
|
AdAP : AdA -> AP -> AP ;
|
||||||
|
AdAdV : AdA -> AdV -> AdV ;
|
||||||
|
AdAdv : AdA -> Adv -> Adv ;
|
||||||
|
AdNum : AdN -> Card -> Card ;
|
||||||
|
AdjCN : AP -> CN -> CN ;
|
||||||
|
AdjOrd : Ord -> AP ;
|
||||||
|
AdnCAdv : CAdv -> AdN ;
|
||||||
|
AdvAP : AP -> Adv -> AP ;
|
||||||
|
AdvCN : CN -> Adv -> CN ;
|
||||||
|
AdvCl_none : PrAdv_none -> PrCl_none -> PrCl_none ;
|
||||||
|
AdvCl_np : PrAdv_np -> PrCl_none -> PrCl_np ;
|
||||||
|
AdvNP : NP -> Adv -> NP ;
|
||||||
|
AdvQCl_none : PrAdv_none -> PrQCl_none -> PrQCl_none ;
|
||||||
|
AdvQCl_np : PrAdv_np -> PrQCl_none -> PrQCl_np ;
|
||||||
|
AgentPassUseV_a : Ant -> Tense -> Pol -> PrV_np_a -> NP -> PrVP_a ;
|
||||||
|
AgentPassUseV_n : Ant -> Tense -> Pol -> PrV_np_n -> NP -> PrVP_n ;
|
||||||
|
AgentPassUseV_none : Ant -> Tense -> Pol -> PrV_np -> NP -> PrVP_none ;
|
||||||
|
AgentPassUseV_np : Ant -> Tense -> Pol -> PrV_np_np -> NP -> PrVP_np ;
|
||||||
|
AgentPassUseV_q : Ant -> Tense -> Pol -> PrV_np_q -> NP -> PrVP_q ;
|
||||||
|
AgentPassUseV_s : Ant -> Tense -> Pol -> PrV_np_s -> NP -> PrVP_s ;
|
||||||
|
AgentPassUseV_v : Ant -> Tense -> Pol -> PrV_np_v -> NP -> PrVP_v ;
|
||||||
|
AgentPastPartAP_none : PrV_np -> NP -> PrAP_none ;
|
||||||
|
ApposCN : CN -> NP -> CN ;
|
||||||
|
ApposNP : NP -> NP -> NP ;
|
||||||
|
BaseAP : AP -> AP -> ListAP ;
|
||||||
|
BaseAdV : AdV -> AdV -> ListAdV ;
|
||||||
|
BaseAdv : Adv -> Adv -> ListAdv ;
|
||||||
|
BaseCN : CN -> CN -> ListCN ;
|
||||||
|
BaseIAdv : IAdv -> IAdv -> ListIAdv ;
|
||||||
|
BaseNP : NP -> NP -> ListNP ;
|
||||||
|
BaseRS : RS -> RS -> ListRS ;
|
||||||
|
BaseS : S -> S -> ListS ;
|
||||||
|
CAdvAP : CAdv -> AP -> NP -> AP ;
|
||||||
|
CNNumNP : CN -> Card -> NP ;
|
||||||
|
ComparA : A -> NP -> AP ;
|
||||||
|
ComparAdvAdj : CAdv -> A -> NP -> Adv ;
|
||||||
|
ComparAdvAdjS : CAdv -> A -> S -> Adv ;
|
||||||
|
ComplA2 : A2 -> NP -> AP ;
|
||||||
|
ComplAdv_none : PrAdv_np -> NP -> PrAdv_none ;
|
||||||
|
ComplN2 : N2 -> NP -> CN ;
|
||||||
|
ComplN3 : N3 -> NP -> N2 ;
|
||||||
|
ComplV2_none : PrVP_np -> NP -> PrVP_none ;
|
||||||
|
ComplVA_none : PrVP_a -> PrAP_none -> PrVP_none ;
|
||||||
|
ComplVN_none : PrVP_n -> PrCN_none -> PrVP_none ;
|
||||||
|
ComplVQ_none : PrVP_q -> PrQCl_none -> PrVP_none ;
|
||||||
|
ComplVS_none : PrVP_s -> PrCl_none -> PrVP_none ;
|
||||||
|
ComplVS_np : PrVP_s -> PrCl_np -> PrVP_np ;
|
||||||
|
ComplVV_none : PrVP_v -> PrVPI_none -> PrVP_none ;
|
||||||
|
ComplVV_np : PrVP_v -> PrVPI_np -> PrVP_np ;
|
||||||
|
CompoundCN : N -> CN -> CN ;
|
||||||
|
ConjAP : Conj -> ListAP -> AP ;
|
||||||
|
ConjAdV : Conj -> ListAdV -> AdV ;
|
||||||
|
ConjAdv : Conj -> ListAdv -> Adv ;
|
||||||
|
ConjCN : Conj -> ListCN -> CN ;
|
||||||
|
ConjIAdv : Conj -> ListIAdv -> IAdv ;
|
||||||
|
ConjNP : Conj -> ListNP -> NP ;
|
||||||
|
ConjRS : Conj -> ListRS -> RS ;
|
||||||
|
ConjS : Conj -> ListS -> S ;
|
||||||
|
ConsAP : AP -> ListAP -> ListAP ;
|
||||||
|
ConsAdV : AdV -> ListAdV -> ListAdV ;
|
||||||
|
ConsAdv : Adv -> ListAdv -> ListAdv ;
|
||||||
|
ConsCN : CN -> ListCN -> ListCN ;
|
||||||
|
ConsIAdv : IAdv -> ListIAdv -> ListIAdv ;
|
||||||
|
ConsNP : NP -> ListNP -> ListNP ;
|
||||||
|
ConsRS : RS -> ListRS -> ListRS ;
|
||||||
|
ConsS : S -> ListS -> ListS ;
|
||||||
|
ContClC_none : PrCl_none -> ClC_none -> ClC_none ;
|
||||||
|
ContClC_np : PrCl_np -> ClC_np -> ClC_np ;
|
||||||
|
ContVPC_none : PrVP_none -> VPC_none -> VPC_none ;
|
||||||
|
ContVPC_np : PrVP_np -> VPC_np -> VPC_np ;
|
||||||
|
CountNP : Det -> NP -> NP ;
|
||||||
|
DefArt : Quant ;
|
||||||
|
DetCN : Det -> CN -> NP ;
|
||||||
|
DetNP : Det -> NP ;
|
||||||
|
DetQuant : Quant -> Num -> Det ;
|
||||||
|
DetQuantOrd : Quant -> Num -> Ord -> Det ;
|
||||||
|
ExtAdvNP : NP -> Adv -> NP ;
|
||||||
|
FunRP : Prep -> NP -> RP -> RP ;
|
||||||
|
IdRP : RP ;
|
||||||
|
IndefArt : Quant ;
|
||||||
|
InfVP_none : PrVP_none -> PrVPI_none ;
|
||||||
|
InfVP_np : PrVP_np -> PrVPI_np ;
|
||||||
|
MassNP : CN -> NP ;
|
||||||
|
MkSymb : String -> Symb ;
|
||||||
|
NoPConj : PConj ;
|
||||||
|
NoVoc : Voc ;
|
||||||
|
NumCard : Card -> Num ;
|
||||||
|
NumDigits : Digits -> Card ;
|
||||||
|
NumNumeral : Numeral -> Card ;
|
||||||
|
NumPl : Num ;
|
||||||
|
NumSg : Num ;
|
||||||
|
OrdDigits : Digits -> Ord ;
|
||||||
|
OrdNumeral : Numeral -> Ord ;
|
||||||
|
OrdSuperl : A -> Ord ;
|
||||||
|
PConjConj : Conj -> PConj ;
|
||||||
|
PNeg : Pol ;
|
||||||
|
PPartNP : NP -> V2 -> NP ;
|
||||||
|
PPos : Pol ;
|
||||||
|
PartNP : CN -> NP -> CN ;
|
||||||
|
PassUseV_a : Ant -> Tense -> Pol -> PrV_np_a -> PrVP_a ;
|
||||||
|
PassUseV_n : Ant -> Tense -> Pol -> PrV_np_n -> PrVP_n ;
|
||||||
|
PassUseV_none : Ant -> Tense -> Pol -> PrV_np -> PrVP_none ;
|
||||||
|
PassUseV_np : Ant -> Tense -> Pol -> PrV_np_np -> PrVP_np ;
|
||||||
|
PassUseV_q : Ant -> Tense -> Pol -> PrV_np_q -> PrVP_q ;
|
||||||
|
PassUseV_s : Ant -> Tense -> Pol -> PrV_np_s -> PrVP_s ;
|
||||||
|
PassUseV_v : Ant -> Tense -> Pol -> PrV_np_v -> PrVP_v ;
|
||||||
|
PastPartAP_none : PrV_np -> PrAP_none ;
|
||||||
|
PhrUtt : PConj -> Utt -> Voc -> Phr ;
|
||||||
|
PositA : A -> AP ;
|
||||||
|
PositAdAAdj : A -> AdA ;
|
||||||
|
PositAdvAdj : A -> Adv ;
|
||||||
|
PossNP : CN -> NP -> CN ;
|
||||||
|
PossPron : Pron -> Quant ;
|
||||||
|
PredVP_none : NP -> PrVP_none -> PrCl_none ;
|
||||||
|
PredVP_np : NP -> PrVP_np -> PrCl_np ;
|
||||||
|
PredetNP : Predet -> NP -> NP ;
|
||||||
|
PrepNP : Prep -> NP -> Adv ;
|
||||||
|
PresPartAP_none : PrV_none -> PrAP_none ;
|
||||||
|
PresPartAP_np : PrV_np -> PrAP_np ;
|
||||||
|
QuestCl_none : PrCl_none -> PrQCl_none ;
|
||||||
|
QuestCl_np : PrCl_np -> PrQCl_np ;
|
||||||
|
QuestIAdv_none : IAdv -> PrCl_none -> PrQCl_none ;
|
||||||
|
QuestSlash_none : IP -> PrQCl_np -> PrQCl_none ;
|
||||||
|
QuestVP_none : IP -> PrVP_none -> PrQCl_none ;
|
||||||
|
ReflA2 : A2 -> AP ;
|
||||||
|
ReflVP2_np : PrVP_np_np -> PrVP_np ;
|
||||||
|
ReflVP_a : PrVP_np_a -> PrVP_a ;
|
||||||
|
ReflVP_n : PrVP_np_n -> PrVP_n ;
|
||||||
|
ReflVP_none : PrVP_np -> PrVP_none ;
|
||||||
|
ReflVP_np : PrVP_np_np -> PrVP_np ;
|
||||||
|
ReflVP_q : PrVP_np_q -> PrVP_q ;
|
||||||
|
ReflVP_s : PrVP_np_s -> PrVP_s ;
|
||||||
|
ReflVP_v : PrVP_np_v -> PrVP_v ;
|
||||||
|
RelCN : CN -> RS -> CN ;
|
||||||
|
RelCl : Cl -> RCl ;
|
||||||
|
RelNP : NP -> RS -> NP ;
|
||||||
|
RelSlash : RP -> ClSlash -> RCl ;
|
||||||
|
RelVP : RP -> VP -> RCl ;
|
||||||
|
SentAP : AP -> SC -> AP ;
|
||||||
|
SentCN : CN -> SC -> CN ;
|
||||||
|
SlashClNP_none : PrCl_np -> NP -> PrCl_none ;
|
||||||
|
SlashV2A_none : PrVP_np_a -> PrAP_none -> PrVP_np ;
|
||||||
|
SlashV2N_none : PrVP_np_n -> PrCN_none -> PrVP_np ;
|
||||||
|
SlashV2Q_none : PrVP_np_q -> PrQCl_none -> PrVP_np ;
|
||||||
|
SlashV2S_none : PrVP_np_s -> PrCl_none -> PrVP_np ;
|
||||||
|
SlashV2V_none : PrVP_np_v -> PrVPI_none -> PrVP_np ;
|
||||||
|
SlashV2V_np : PrVP_np_v -> PrVPI_np -> PrVP_np_np ;
|
||||||
|
SlashV3_none : PrVP_np_np -> NP -> PrVP_np ;
|
||||||
|
StartClC_none : Conj -> PrCl_none -> PrCl_none -> ClC_none ;
|
||||||
|
StartClC_np : Conj -> PrCl_np -> PrCl_np -> ClC_np ;
|
||||||
|
StartVPC_none : Conj -> PrVP_none -> PrVP_none -> VPC_none ;
|
||||||
|
StartVPC_np : Conj -> PrVP_np -> PrVP_np -> VPC_np ;
|
||||||
|
SubjS : Subj -> S -> Adv ;
|
||||||
|
SymbPN : Symb -> PN ;
|
||||||
|
TCond : Tense ;
|
||||||
|
TFut : Tense ;
|
||||||
|
TPast : Tense ;
|
||||||
|
TPres : Tense ;
|
||||||
|
Use2N3 : N3 -> N2 ;
|
||||||
|
Use3N3 : N3 -> N2 ;
|
||||||
|
UseA2 : A2 -> AP ;
|
||||||
|
UseAP_none : Ant -> Tense -> Pol -> PrAP_none -> PrVP_none ;
|
||||||
|
UseAP_np : Ant -> Tense -> Pol -> PrAP_np -> PrVP_np ;
|
||||||
|
UseAdvCl_none : PrAdv_none -> PrCl_none -> PrS ;
|
||||||
|
UseAdv_none : Ant -> Tense -> Pol -> PrAdv_none -> PrVP_none ;
|
||||||
|
UseAdv_np : Ant -> Tense -> Pol -> PrAdv_np -> PrVP_np ;
|
||||||
|
UseCN_none : Ant -> Tense -> Pol -> PrCN_none -> PrVP_none ;
|
||||||
|
UseCN_np : Ant -> Tense -> Pol -> PrCN_np -> PrVP_np ;
|
||||||
|
UseClC_none : ClC_none -> PrCl_none ;
|
||||||
|
UseClC_np : ClC_np -> PrCl_np ;
|
||||||
|
UseCl_none : PrCl_none -> PrS ;
|
||||||
|
UseComparA : A -> AP ;
|
||||||
|
UseN : N -> CN ;
|
||||||
|
UseN2 : N2 -> CN ;
|
||||||
|
UseNP_none : Ant -> Tense -> Pol -> NP -> PrVP_none ;
|
||||||
|
UsePN : PN -> NP ;
|
||||||
|
UsePron : Pron -> NP ;
|
||||||
|
UseQCl_none : PrQCl_none -> PrS ;
|
||||||
|
UseVPC_none : VPC_none -> PrVP_none ;
|
||||||
|
UseVPC_np : VPC_np -> PrVP_np ;
|
||||||
|
UseV_a : Ant -> Tense -> Pol -> PrV_a -> PrVP_a ;
|
||||||
|
UseV_n : Ant -> Tense -> Pol -> PrV_v -> PrVP_n ;
|
||||||
|
UseV_none : Ant -> Tense -> Pol -> PrV_none -> PrVP_none ;
|
||||||
|
UseV_np : Ant -> Tense -> Pol -> PrV_np -> PrVP_np ;
|
||||||
|
UseV_np_a : Ant -> Tense -> Pol -> PrV_np_a -> PrVP_np_a ;
|
||||||
|
UseV_np_n : Ant -> Tense -> Pol -> PrV_np_n -> PrVP_np_n ;
|
||||||
|
UseV_np_np : Ant -> Tense -> Pol -> PrV_np_np -> PrVP_np_np ;
|
||||||
|
UseV_np_q : Ant -> Tense -> Pol -> PrV_np_q -> PrVP_np_q ;
|
||||||
|
UseV_np_s : Ant -> Tense -> Pol -> PrV_np_s -> PrVP_np_s ;
|
||||||
|
UseV_np_v : Ant -> Tense -> Pol -> PrV_np_v -> PrVP_np_v ;
|
||||||
|
UseV_q : Ant -> Tense -> Pol -> PrV_q -> PrVP_q ;
|
||||||
|
UseV_s : Ant -> Tense -> Pol -> PrV_s -> PrVP_s ;
|
||||||
|
UseV_v : Ant -> Tense -> Pol -> PrV_v -> PrVP_v ;
|
||||||
|
UttAP : AP -> Utt ;
|
||||||
|
UttAdV : AdV -> Utt ;
|
||||||
|
UttAdv : Adv -> Utt ;
|
||||||
|
UttCN : CN -> Utt ;
|
||||||
|
UttCard : Card -> Utt ;
|
||||||
|
UttIAdv : IAdv -> Utt ;
|
||||||
|
UttIP : IP -> Utt ;
|
||||||
|
UttImpPl : Pol -> Imp -> Utt ;
|
||||||
|
UttImpPol : Pol -> Imp -> Utt ;
|
||||||
|
UttImpSg : Pol -> Imp -> Utt ;
|
||||||
|
UttInterj : Interj -> Utt ;
|
||||||
|
UttNP : NP -> Utt ;
|
||||||
|
UttPrS : PrS -> Utt ;
|
||||||
|
UttQS : QS -> Utt ;
|
||||||
|
UttS : S -> Utt ;
|
||||||
|
UttVP : VP -> Utt ;
|
||||||
|
VocNP : NP -> Voc ;
|
||||||
|
|
||||||
|
|
||||||
|
-}
|
||||||
|
|
||||||
110
lib/src/experimental/transfer/New2Old.hs
Normal file
110
lib/src/experimental/transfer/New2Old.hs
Normal file
@@ -0,0 +1,110 @@
|
|||||||
|
GAdvCl_none gPrAdv_none gPrCl_none -> t
|
||||||
|
GAdvCl_np gPrAdv_np gPrCl_none -> t
|
||||||
|
GAdvQCl_none gPrAdv_none gPrQCl_none -> t
|
||||||
|
GAdvQCl_np gPrAdv_np gPrQCl_none -> t
|
||||||
|
GAfterVP_none gPrVP_none gPrVPI_none -> t
|
||||||
|
GAgentPassUseV_a gAnt gTense gPol gPrV_np_a gNP -> t
|
||||||
|
GAgentPassUseV_n gAnt gTense gPol gPrV_np_n gNP -> t
|
||||||
|
GAgentPassUseV_none gAnt gTense gPol gPrV_np gNP -> t
|
||||||
|
GAgentPassUseV_np gAnt gTense gPol gPrV_np_np gNP -> t
|
||||||
|
GAgentPassUseV_q gAnt gTense gPol gPrV_np_q gNP -> t
|
||||||
|
GAgentPassUseV_s gAnt gTense gPol gPrV_np_s gNP -> t
|
||||||
|
GAgentPassUseV_v gAnt gTense gPol gPrV_np_v gNP -> t
|
||||||
|
GAgentPastPartAP_none gPrV_np gNP -> t
|
||||||
|
GBeforeVP_none gPrVP_none gPrVPI_none -> t
|
||||||
|
GByVP_none gPrVP_none gPrVPI_none -> t
|
||||||
|
GComplAdv_none gPrAdv_np gNP -> t
|
||||||
|
GComplV2_none gPrVP_np gNP -> t
|
||||||
|
GComplVA_none gPrVP_a gPrAP_none -> t
|
||||||
|
GComplVN_none gPrVP_n gPrCN_none -> t
|
||||||
|
GComplVQ_none gPrVP_q gPrQCl_none -> t
|
||||||
|
GComplVS_none gPrVP_s gPrCl_none -> t
|
||||||
|
GComplVS_np gPrVP_s gPrCl_np -> t
|
||||||
|
GComplVV_none gPrVP_v gPrVPI_none -> t
|
||||||
|
GComplVV_np gPrVP_v gPrVPI_np -> t
|
||||||
|
GCompoundCN gN gCN -> t
|
||||||
|
GContClC_none gPrCl_none gClC_none -> t
|
||||||
|
GContClC_np gPrCl_np gClC_np -> t
|
||||||
|
GContVPC_none gPrVP_none gVPC_none -> t
|
||||||
|
GContVPC_np gPrVP_np gVPC_np -> t
|
||||||
|
GInOrderVP_none gPrVP_none gPrVPI_none -> t
|
||||||
|
GInfVP_none gPrVP_none -> t
|
||||||
|
GInfVP_np gPrVP_np -> t
|
||||||
|
GNomVPNP_none gPrVPI_none -> t
|
||||||
|
GPPartNP gNP gV2 -> t
|
||||||
|
GPassUseV_a gAnt gTense gPol gPrV_np_a -> t
|
||||||
|
GPassUseV_n gAnt gTense gPol gPrV_np_n -> t
|
||||||
|
GPassUseV_none gAnt gTense gPol gPrV_np -> t
|
||||||
|
GPassUseV_np gAnt gTense gPol gPrV_np_np -> t
|
||||||
|
GPassUseV_q gAnt gTense gPol gPrV_np_q -> t
|
||||||
|
GPassUseV_s gAnt gTense gPol gPrV_np_s -> t
|
||||||
|
GPassUseV_v gAnt gTense gPol gPrV_np_v -> t
|
||||||
|
GPastPartAP_none gPrV_np -> t
|
||||||
|
GPrImpPl gPrVP_none -> t
|
||||||
|
GPrImpSg gPrVP_none -> t
|
||||||
|
GPredVP_none gNP gPrVP_none -> t
|
||||||
|
GPredVP_np gNP gPrVP_np -> t
|
||||||
|
GPresPartAP_none gPrV_none -> t
|
||||||
|
GPresPartAP_np gPrV_np -> t
|
||||||
|
GQuestCl_none gPrCl_none -> t
|
||||||
|
GQuestCl_np gPrCl_np -> t
|
||||||
|
GQuestIAdv_none gIAdv gPrCl_none -> t
|
||||||
|
GQuestIComp_none gAnt gTense gPol gIComp gNP -> t
|
||||||
|
GQuestSlash_none gIP gPrQCl_np -> t
|
||||||
|
GQuestVP_none gIP gPrVP_none -> t
|
||||||
|
GReflVP2_np gPrVP_np_np -> t
|
||||||
|
GReflVP_a gPrVP_np_a -> t
|
||||||
|
GReflVP_n gPrVP_np_n -> t
|
||||||
|
GReflVP_none gPrVP_np -> t
|
||||||
|
GReflVP_np gPrVP_np_np -> t
|
||||||
|
GReflVP_q gPrVP_np_q -> t
|
||||||
|
GReflVP_s gPrVP_np_s -> t
|
||||||
|
GReflVP_v gPrVP_np_v -> t
|
||||||
|
GRelCl_none gPrCl_none -> t
|
||||||
|
GRelSlash_none gRP gPrCl_np -> t
|
||||||
|
GRelVP_none gRP gPrVP_none -> t
|
||||||
|
GSlashClNP_none gPrCl_np gNP -> t
|
||||||
|
GSlashV2A_none gPrVP_np_a gPrAP_none -> t
|
||||||
|
GSlashV2N_none gPrVP_np_n gPrCN_none -> t
|
||||||
|
GSlashV2Q_none gPrVP_np_q gPrQCl_none -> t
|
||||||
|
GSlashV2S_none gPrVP_np_s gPrCl_none -> t
|
||||||
|
GSlashV2V_none gPrVP_np_v gPrVPI_none -> t
|
||||||
|
GSlashV2V_np gPrVP_np_v gPrVPI_np -> t
|
||||||
|
GSlashV3_none gPrVP_np_np gNP -> t
|
||||||
|
GStartClC_none gConj gPrCl_none gPrCl_none -> t
|
||||||
|
GStartClC_np gConj gPrCl_np gPrCl_np -> t
|
||||||
|
GStartVPC_none gConj gPrVP_none gPrVP_none -> t
|
||||||
|
GStartVPC_np gConj gPrVP_np gPrVP_np -> t
|
||||||
|
GUseAP_none gAnt gTense gPol gPrAP_none -> t
|
||||||
|
GUseAP_np gAnt gTense gPol gPrAP_np -> t
|
||||||
|
GUseAdvCl_none gPrAdv_none gPrCl_none -> t
|
||||||
|
GUseAdv_none gAnt gTense gPol gPrAdv_none -> t
|
||||||
|
GUseAdv_np gAnt gTense gPol gPrAdv_np -> t
|
||||||
|
GUseCN_none gAnt gTense gPol gPrCN_none -> t
|
||||||
|
GUseCN_np gAnt gTense gPol gPrCN_np -> t
|
||||||
|
GUseClC_none gClC_none -> t
|
||||||
|
GUseClC_np gClC_np -> t
|
||||||
|
GUseCl_none gPrCl_none -> t
|
||||||
|
GUseNP_none gAnt gTense gPol gNP -> t
|
||||||
|
GUseQCl_none gPrQCl_none -> t
|
||||||
|
GUseQ_none gAnt gTense gPol gPrQCl_none -> t
|
||||||
|
GUseS_none gAnt gTense gPol gPrCl_none -> t
|
||||||
|
GUseVPC_none gVPC_none -> t
|
||||||
|
GUseVPC_np gVPC_np -> t
|
||||||
|
GUseVP_none gAnt gTense gPol gPrVPI_none -> t
|
||||||
|
GUseV_a gAnt gTense gPol gPrV_a -> t
|
||||||
|
GUseV_n gAnt gTense gPol gPrV_v -> t
|
||||||
|
GUseV_none gAnt gTense gPol gPrV_none -> t
|
||||||
|
GUseV_np gAnt gTense gPol gPrV_np -> t
|
||||||
|
GUseV_np_a gAnt gTense gPol gPrV_np_a -> t
|
||||||
|
GUseV_np_n gAnt gTense gPol gPrV_np_n -> t
|
||||||
|
GUseV_np_np gAnt gTense gPol gPrV_np_np -> t
|
||||||
|
GUseV_np_q gAnt gTense gPol gPrV_np_q -> t
|
||||||
|
GUseV_np_s gAnt gTense gPol gPrV_np_s -> t
|
||||||
|
GUseV_np_v gAnt gTense gPol gPrV_np_v -> t
|
||||||
|
GUseV_q gAnt gTense gPol gPrV_q -> t
|
||||||
|
GUseV_s gAnt gTense gPol gPrV_s -> t
|
||||||
|
GUseV_v gAnt gTense gPol gPrV_v -> t
|
||||||
|
GUttPrS gPrS -> t
|
||||||
|
GWhenVP_none gPrVP_none gPrVPI_none -> t
|
||||||
|
GWithoutVP_none gPrVP_none gPrVPI_none -> t
|
||||||
81
lib/src/experimental/transfer/Old.gf
Normal file
81
lib/src/experimental/transfer/Old.gf
Normal file
@@ -0,0 +1,81 @@
|
|||||||
|
--# -path=..:../../translator
|
||||||
|
|
||||||
|
abstract Old =
|
||||||
|
|
||||||
|
--- abstract ParseEngAbs =
|
||||||
|
Tense,
|
||||||
|
Cat,
|
||||||
|
Noun - [PPartNP],
|
||||||
|
Adjective,
|
||||||
|
---- Numeral,
|
||||||
|
Symbol [PN, Symb, String, CN, Card, NP, MkSymb, SymbPN, CNNumNP],
|
||||||
|
Conjunction,
|
||||||
|
Verb - [SlashV2V, PassV2, UseCopula, ComplVV],
|
||||||
|
Adverb,
|
||||||
|
Phrase,
|
||||||
|
Sentence,
|
||||||
|
Question,
|
||||||
|
Relative,
|
||||||
|
Idiom [NP, VP, Cl, Tense, ProgrVP, ExistNP, SelfAdvVP, SelfAdVVP, SelfNP],
|
||||||
|
--- Construction,
|
||||||
|
--- Documentation,
|
||||||
|
ExtraEngAbs [NP, Quant, VPSlash, VP, GenNP, PassVPSlash, PassAgentVPSlash,
|
||||||
|
Temp, Tense, Pol, Conj, VPS, ListVPS, S, Num, CN, RP, MkVPS, BaseVPS, ConsVPS, ConjVPS, PredVPS, GenRP,
|
||||||
|
VPI, ListVPI, VV, MkVPI, BaseVPI, ConsVPI, ConjVPI, ComplVPIVV, ComplSlashPartLast,
|
||||||
|
ClSlash, RCl, EmptyRelSlash, VS, V2S, ComplBareVS, SlashBareV2S]
|
||||||
|
---- Dictionary
|
||||||
|
** {
|
||||||
|
|
||||||
|
flags
|
||||||
|
startcat=Phr;
|
||||||
|
heuristic_search_factor=0.60;
|
||||||
|
meta_prob=1.0e-5;
|
||||||
|
meta_token_prob=1.1965149246222233e-9;
|
||||||
|
|
||||||
|
fun CompoundCN : Num -> N -> CN -> CN ;
|
||||||
|
DashCN : N -> N -> N ;
|
||||||
|
GerundN : V -> N ;
|
||||||
|
GerundAP : V -> AP ;
|
||||||
|
PastPartAP : V2 -> AP ;
|
||||||
|
myself_NP : NP ;
|
||||||
|
yourselfSg_NP : NP ;
|
||||||
|
himself_NP : NP ;
|
||||||
|
herself_NP : NP ;
|
||||||
|
itself_NP : NP ;
|
||||||
|
ourselves_NP : NP ;
|
||||||
|
yourselfPl_NP : NP ;
|
||||||
|
themselves_NP : NP ;
|
||||||
|
OrdCompar : A -> Ord ;
|
||||||
|
|
||||||
|
PositAdVAdj : A -> AdV ;
|
||||||
|
|
||||||
|
UseQuantPN : Quant -> PN -> NP;
|
||||||
|
|
||||||
|
SlashV2V : V2V -> Ant -> Pol -> VP -> VPSlash ;
|
||||||
|
SlashVPIV2V : V2V -> Pol -> VPI -> VPSlash ;
|
||||||
|
|
||||||
|
SlashSlashV2V : V2V -> Ant -> Pol -> VPSlash -> VPSlash ;
|
||||||
|
|
||||||
|
ComplVV : VV -> Ant -> Pol -> VP -> VP ;
|
||||||
|
|
||||||
|
PredVPosv,PredVPovs : NP -> VP -> Cl ;
|
||||||
|
|
||||||
|
that_RP : RP ;
|
||||||
|
who_RP : RP ;
|
||||||
|
|
||||||
|
CompS : S -> Comp ;
|
||||||
|
CompQS : QS -> Comp ;
|
||||||
|
CompVP : Ant -> Pol -> VP -> Comp ;
|
||||||
|
|
||||||
|
VPSlashVS : VS -> VP -> VPSlash ;
|
||||||
|
|
||||||
|
PastPartRS : Ant -> Pol -> VPSlash -> RS ;
|
||||||
|
PresPartRS : Ant -> Pol -> VP -> RS ;
|
||||||
|
|
||||||
|
ApposNP : NP -> NP -> NP ;
|
||||||
|
|
||||||
|
AdAdV : AdA -> AdV -> AdV ;
|
||||||
|
|
||||||
|
UttAdV : AdV -> Utt;
|
||||||
|
|
||||||
|
}
|
||||||
132
lib/src/experimental/transfer/Old2New.hs
Normal file
132
lib/src/experimental/transfer/Old2New.hs
Normal file
@@ -0,0 +1,132 @@
|
|||||||
|
module Old2New where
|
||||||
|
|
||||||
|
import Both
|
||||||
|
|
||||||
|
onUtt :: Tree GUtt_ -> Tree GUtt_
|
||||||
|
onUtt t = case t of
|
||||||
|
GUttS s -> GUttPrS (onS s)
|
||||||
|
|
||||||
|
onS s = case s of
|
||||||
|
GUseCl (GTTAnt t a) p cl -> GUseCl_none (onCl t a p cl)
|
||||||
|
|
||||||
|
onCl t a p cl = case cl of
|
||||||
|
GPredVP np vp -> GPredVP_none np (onVP t a p vp)
|
||||||
|
|
||||||
|
onVP :: GTense -> GAnt -> GPol -> Tree GVP_ -> Tree GPrVP_none_
|
||||||
|
onVP t a p vp = case vp of
|
||||||
|
GUseV v -> GUseV_none a t p (GLiftV v)
|
||||||
|
GComplVS vs s -> GComplVS_none (GUseV_s a t p (GLiftVS vs)) (onS2Cl s)
|
||||||
|
GComplSlash vps np -> GComplV2_none (onVPS t a p vps) np
|
||||||
|
|
||||||
|
onVPS :: GTense -> GAnt -> GPol -> Tree GVPSlash_ -> Tree GPrVP_np_
|
||||||
|
onVPS t a p vps = case vps of
|
||||||
|
GSlashV2a v2 -> GUseV_np a t p (GLiftV2 v2)
|
||||||
|
|
||||||
|
|
||||||
|
onS2Cl :: Tree GS_ -> Tree GPrCl_none_
|
||||||
|
onS2Cl s = case s of
|
||||||
|
GUseCl (GTTAnt t a) p cl -> onCl t a p cl
|
||||||
|
|
||||||
|
|
||||||
|
old2new :: Tree a -> Tree a
|
||||||
|
old2new t = case t of
|
||||||
|
GAdVVP gAdV gVP -> t
|
||||||
|
GAdVVPSlash gAdV gVPSlash -> t
|
||||||
|
GAdvS gAdv gS -> t
|
||||||
|
GAdvSlash gClSlash gAdv -> t
|
||||||
|
GAdvVP gVP gAdv -> t
|
||||||
|
GAdvVPSlash gVPSlash gAdv -> t
|
||||||
|
-- GBaseVPI gVPI gVPI_ -> t
|
||||||
|
-- GBaseVPS gVPS gVPS_ -> t
|
||||||
|
GCompAP gAP -> t
|
||||||
|
GCompAdv gAdv -> t
|
||||||
|
GCompCN gCN -> t
|
||||||
|
GCompNP gNP -> t
|
||||||
|
GCompQS gQS -> t
|
||||||
|
GCompS gS -> t
|
||||||
|
GCompVP gAnt gPol gVP -> t
|
||||||
|
GComplBareVS gVS gS -> t
|
||||||
|
GComplSlash gVPSlash gNP -> t
|
||||||
|
GComplSlashPartLast gVPSlash gNP -> t
|
||||||
|
GComplVA gVA gAP -> t
|
||||||
|
GComplVPIVV gVV gVPI -> t
|
||||||
|
GComplVQ gVQ gQS -> t
|
||||||
|
GComplVS gVS gS -> t
|
||||||
|
GComplVV gVV gAnt gPol gVP -> t
|
||||||
|
GCompoundCN gNum gN gCN -> t
|
||||||
|
GConjVPI gConj gListVPI -> t
|
||||||
|
GConjVPS gConj gListVPS -> t
|
||||||
|
-- GConsVPI gVPI gListVPI -> t
|
||||||
|
-- GConsVPS gVPS gListVPS -> t
|
||||||
|
GDashCN gN gN_ -> t
|
||||||
|
GEmbedQS gQS -> t
|
||||||
|
GEmbedS gS -> t
|
||||||
|
GEmbedVP gVP -> t
|
||||||
|
GEmptyRelSlash gClSlash -> t
|
||||||
|
GExtAdvS gAdv gS -> t
|
||||||
|
GExtAdvVP gVP gAdv -> t
|
||||||
|
GGenNP gNP -> t
|
||||||
|
GGenRP gNum gCN -> t
|
||||||
|
GGerundAP gV -> t
|
||||||
|
GGerundN gV -> t
|
||||||
|
GImpVP gVP -> t
|
||||||
|
GMkVPI gVP -> t
|
||||||
|
GMkVPS gTemp gPol gVP -> t
|
||||||
|
GOrdCompar gA -> t
|
||||||
|
GPassAgentVPSlash gVPSlash gNP -> t
|
||||||
|
GPassVPSlash gVPSlash -> t
|
||||||
|
GPastPartAP gV2 -> t
|
||||||
|
GPastPartRS gAnt gPol gVPSlash -> t
|
||||||
|
GPositAdVAdj gA -> t
|
||||||
|
GPredSCVP gSC gVP -> t
|
||||||
|
GPredVP gNP gVP -> t
|
||||||
|
GPredVPS gNP gVPS -> t
|
||||||
|
GPredVPosv gNP gVP -> t
|
||||||
|
GPredVPovs gNP gVP -> t
|
||||||
|
GPresPartRS gAnt gPol gVP -> t
|
||||||
|
GQuestCl gCl -> t
|
||||||
|
GQuestIAdv gIAdv gCl -> t
|
||||||
|
GQuestIComp gIComp gNP -> t
|
||||||
|
GQuestSlash gIP gClSlash -> t
|
||||||
|
GQuestVP gIP gVP -> t
|
||||||
|
GReflVP gVPSlash -> t
|
||||||
|
GRelCl gCl -> t
|
||||||
|
GRelS gS gRS -> t
|
||||||
|
GRelSlash gRP gClSlash -> t
|
||||||
|
GRelVP gRP gVP -> t
|
||||||
|
GSSubjS gS gSubj gS_ -> t
|
||||||
|
GSlash2V3 gV3 gNP -> t
|
||||||
|
GSlash3V3 gV3 gNP -> t
|
||||||
|
GSlashBareV2S gV2S gS -> t
|
||||||
|
GSlashPrep gCl gPrep -> t
|
||||||
|
GSlashSlashV2V gV2V gAnt gPol gVPSlash -> t
|
||||||
|
GSlashV2A gV2A gAP -> t
|
||||||
|
GSlashV2Q gV2Q gQS -> t
|
||||||
|
GSlashV2S gV2S gS -> t
|
||||||
|
GSlashV2V gV2V gAnt gPol gVP -> t
|
||||||
|
GSlashV2VNP gV2V gNP gVPSlash -> t
|
||||||
|
GSlashV2a gV2 -> t
|
||||||
|
GSlashVP gNP gVPSlash -> t
|
||||||
|
GSlashVPIV2V gV2V gPol gVPI -> t
|
||||||
|
GSlashVS gNP gVS gSSlash -> t
|
||||||
|
GSlashVV gVV gVPSlash -> t
|
||||||
|
GTTAnt gTense gAnt -> t
|
||||||
|
GUseCl gTemp gPol gCl -> t
|
||||||
|
GUseComp gComp -> t
|
||||||
|
GUseQCl gTemp gPol gQCl -> t
|
||||||
|
GUseQuantPN gQuant gPN -> t
|
||||||
|
GUseRCl gTemp gPol gRCl -> t
|
||||||
|
GUseSlash gTemp gPol gClSlash -> t
|
||||||
|
GUseV gV -> t
|
||||||
|
GVPSlashPrep gVP gPrep -> t
|
||||||
|
GVPSlashVS gVS gVP -> t
|
||||||
|
Gherself_NP -> t
|
||||||
|
Ghimself_NP -> t
|
||||||
|
Gitself_NP -> t
|
||||||
|
Gmyself_NP -> t
|
||||||
|
Gourselves_NP -> t
|
||||||
|
Gthat_RP -> t
|
||||||
|
Gthemselves_NP -> t
|
||||||
|
Gwho_RP -> t
|
||||||
|
GyourselfPl_NP -> t
|
||||||
|
GyourselfSg_NP -> t
|
||||||
Reference in New Issue
Block a user