From 61ec0c3d803b6a2dc18c18eb3babe27b262c4eb0 Mon Sep 17 00:00:00 2001 From: Herbert Lange Date: Mon, 4 Mar 2019 22:14:58 +0100 Subject: [PATCH] recreate missinglat and remove missinglatapi instead --- src/latin/MissingAPILat.gf | 156 ------------------------------------- src/latin/MissingLat.gf | 155 ++++++++++++++++++++++++++++++++++++ 2 files changed, 155 insertions(+), 156 deletions(-) delete mode 100644 src/latin/MissingAPILat.gf diff --git a/src/latin/MissingAPILat.gf b/src/latin/MissingAPILat.gf deleted file mode 100644 index 1cbb3d6ff..000000000 --- a/src/latin/MissingAPILat.gf +++ /dev/null @@ -1,156 +0,0 @@ -resource MissingAPILat = open GrammarLat, Prelude in { - --- temporary definitions to enable the compilation of RGL API -oper AdNum : AdN -> Card -> Card = notYet "AdNum" ; -oper AdvCN : CN -> Adv -> CN = notYet "AdvCN" ; -oper AdvIAdv : IAdv -> Adv -> IAdv = notYet "AdvIAdv" ; -oper AdvIP : IP -> Adv -> IP = notYet "AdvIP" ; -oper AdvSlash : ClSlash -> Adv -> ClSlash = notYet "AdvSlash" ; -oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ; -oper BaseS : S -> S -> ListS = notYet "BaseS" ; -oper CleftAdv : Adv -> S -> Cl = notYet "CleftAdv" ; -oper CleftNP : NP -> RS -> Cl = notYet "CleftNP" ; -oper CompIP : IP -> IComp = notYet "CompIP" ; -oper ComplN2 : N2 -> NP -> CN = notYet "ComplN2" ; -oper ComplN3 : N3 -> NP -> N2 = notYet "ComplN3" ; -oper ConjRS : Conj -> ListRS -> RS = notYet "ConjRS" ; -oper ConjS : Conj -> ListS -> S = notYet "ConjS" ; -oper ConsRS : RS -> ListRS -> ListRS = notYet "ConsRS" ; -oper ConsS : S -> ListS -> ListS = notYet "ConsS" ; -oper DetQuantOrd : Quant -> Num -> Ord -> Det = notYet "DetQuantOrd" ; -oper EmbedQS : QS -> SC = notYet "EmbedQS" ; -oper EmbedS : S -> SC = notYet "EmbedS" ; -oper EmbedVP : VP -> SC = notYet "EmbedVP" ; -oper ExistIP : IP -> QCl = notYet "ExistIP" ; -oper ExistNP : NP -> Cl = notYet "ExistNP" ; -oper FunRP : Prep -> NP -> RP -> RP = notYet "FunRP" ; -oper GenericCl : VP -> Cl = notYet "GenericCl" ; -oper IdetCN : IDet -> CN -> IP = notYet "IdetCN" ; -oper IdetIP : IDet -> IP = notYet "IdetIP" ; -oper IdetQuant : IQuant -> Num -> IDet = notYet "IdetQuant" ; -oper IdRP : RP = notYet "IdRP" ; -oper ImpersCl : VP -> Cl = notYet "ImpersCl" ; -oper ImpPl1 : VP -> Utt = notYet "ImpPl1" ; -oper ImpVP : VP -> Imp = notYet "ImpVP" ; -oper NumDigits : Digits -> Card = notYet "NumDigits" ; -oper OrdDigits : Digits -> Ord = notYet "OrdDigits" ; -oper OrdSuperl : A -> Ord = notYet "OrdSuperl" ; -oper PossPron : Pron -> Quant = notYet "PossPron" ; -oper pot1 : Digit -> Sub100 = notYet "pot1" ; -oper pot110 : Sub100 = notYet "pot110" ; -oper pot111 : Sub100 = notYet "pot111" ; -oper pot1plus : Digit -> Sub10 -> Sub100 = notYet "pot1plus" ; -oper pot1to19 : Digit -> Sub100 = notYet "pot1to19" ; -oper pot2 : Sub10 -> Sub1000 = notYet "pot2" ; -oper pot2plus : Sub10 -> Sub100 -> Sub1000 = notYet "pot2plus" ; -oper pot3 : Sub1000 -> Sub1000000 = notYet "pot3" ; -oper pot3plus : Sub1000 -> Sub1000 -> Sub1000000 = notYet "pot3plus" ; -oper PPartNP : NP -> V2 -> NP = notYet "PPartNP" ; -oper PredSCVP : SC -> VP -> Cl = notYet "PredSCVP" ; -oper PrepIP : Prep -> IP -> IAdv = notYet "PrepIP" ; -oper ProgrVP : VP -> VP = notYet "ProgrVP" ; -oper QuestCl : Cl -> QCl = notYet "QuestCl" ; -oper QuestIAdv : IAdv -> Cl -> QCl = notYet "QuestIAdv" ; -oper QuestIComp : IComp -> NP -> QCl = notYet "QuestIComp" ; -oper QuestSlash : IP -> ClSlash -> QCl = notYet "QuestSlash" ; -oper QuestVP : IP -> VP -> QCl = notYet "QuestVP" ; -oper ReflVP : VPSlash -> VP = notYet "ReflVP" ; -oper RelCl : Cl -> RCl = notYet "RelCl" ; -oper RelCN : CN -> RS -> CN = notYet "RelCN" ; -oper RelSlash : RP -> ClSlash -> RCl = notYet "RelSlash" ; -oper RelVP : RP -> VP -> RCl = notYet "RelVP" ; -oper SentCN : CN -> SC -> CN = notYet "SentCN" ; -oper SlashV2S : V2S -> S -> VPSlash = notYet "SlashV2S" ; -oper SlashV2V : V2V -> VP -> VPSlash = notYet "SlashV2V" ; -oper SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash = notYet "SlashV2VNP" ; -oper SlashVS : NP -> VS -> SSlash -> ClSlash = notYet "SlashVS" ; -oper SlashVV : VV -> VPSlash -> VPSlash = notYet "SlashVV" ; -oper Use2N3 : N3 -> N2 = notYet "Use2N3" ; -oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ; -oper UseRCl : Temp -> Pol -> RCl -> RS = notYet "UseRCl" ; -oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ; -oper AddAdvQVP : QVP -> IAdv -> QVP = notYet "AddAdvQVP" ; -oper AdjDAP : DAP -> AP -> DAP = notYet "AdjDAP" ; -oper AdNum : AdN -> Card -> Card = notYet "AdNum" ; -oper AdvCN : CN -> Adv -> CN = notYet "AdvCN" ; -oper AdvIAdv : IAdv -> Adv -> IAdv = notYet "AdvIAdv" ; -oper AdvIP : IP -> Adv -> IP = notYet "AdvIP" ; -oper AdvQVP : VP -> IAdv -> QVP = notYet "AdvQVP" ; -oper AdvSlash : ClSlash -> Adv -> ClSlash = notYet "AdvSlash" ; -oper BaseAdV : AdV -> AdV -> ListAdV = notYet "BaseAdV" ; -oper BaseCN : CN -> CN -> ListCN = notYet "BaseCN" ; -oper BaseDAP : DAP -> DAP -> ListDAP = notYet "BaseDAP" ; -oper BaseIAdv : IAdv -> IAdv -> ListIAdv = notYet "BaseIAdv" ; -oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ; -oper BaseS : S -> S -> ListS = notYet "BaseS" ; -oper CompIP : IP -> IComp = notYet "CompIP" ; -oper ComplN2 : N2 -> NP -> CN = notYet "ComplN2" ; -oper ComplN3 : N3 -> NP -> N2 = notYet "ComplN3" ; -oper ComplSlashIP : VPSlash -> IP -> QVP = notYet "ComplSlashIP" ; -oper ConjAdV : Conj -> ListAdV -> AdV = notYet "ConjAdV" ; -oper ConjCN : Conj -> ListCN -> CN = notYet "ConjCN" ; -oper ConjDet : Conj -> ListDAP -> Det = notYet "ConjDet" ; -oper ConjIAdv : Conj -> ListIAdv -> IAdv = notYet "ConjIAdv" ; -oper ConjRS : Conj -> ListRS -> RS = notYet "ConjRS" ; -oper ConjS : Conj -> ListS -> S = notYet "ConjS" ; -oper ConsAdV : AdV -> ListAdV -> ListAdV = notYet "ConsAdV" ; -oper ConsCN : CN -> ListCN -> ListCN = notYet "ConsCN" ; -oper ConsDAP : DAP -> ListDAP -> ListDAP = notYet "ConsDAP" ; -oper ConsIAdv : IAdv -> ListIAdv -> ListIAdv = notYet "ConsIAdv" ; -oper ConsRS : RS -> ListRS -> ListRS = notYet "ConsRS" ; -oper ConsS : S -> ListS -> ListS = notYet "ConsS" ; -oper CountNP : Det -> NP -> NP = notYet "CountNP" ; -oper DetDAP : Det -> DAP = notYet "DetDAP" ; -oper DetQuantOrd : Quant -> Num -> Ord -> Det = notYet "DetQuantOrd" ; -oper EmbedQS : QS -> SC = notYet "EmbedQS" ; -oper EmbedS : S -> SC = notYet "EmbedS" ; -oper EmbedVP : VP -> SC = notYet "EmbedVP" ; -oper ExtAdvS : Adv -> S -> S = notYet "ExtAdvS" ; -oper ExtAdvVP : VP -> Adv -> VP = notYet "ExtAdvVP" ; -oper IdetCN : IDet -> CN -> IP = notYet "IdetCN" ; -oper IdetIP : IDet -> IP = notYet "IdetIP" ; -oper IdetQuant : IQuant -> Num -> IDet = notYet "IdetQuant" ; -oper ImpVP : VP -> Imp = notYet "ImpVP" ; -oper NumDigits : Digits -> Card = notYet "NumDigits" ; -oper OrdDigits : Digits -> Ord = notYet "OrdDigits" ; -oper OrdNumeralSuperl : Numeral -> A -> Ord = notYet "OrdNumeralSuperl" ; -oper OrdSuperl : A -> Ord = notYet "OrdSuperl" ; -oper PartNP : CN -> NP -> CN = notYet "PartNP" ; -oper PossNP : CN -> NP -> CN = notYet "PossNP" ; -oper PossPron : Pron -> Quant = notYet "PossPron" ; -oper pot1 : Digit -> Sub100 = notYet "pot1" ; -oper pot110 : Sub100 = notYet "pot110" ; -oper pot111 : Sub100 = notYet "pot111" ; -oper pot1plus : Digit -> Sub10 -> Sub100 = notYet "pot1plus" ; -oper pot1to19 : Digit -> Sub100 = notYet "pot1to19" ; -oper pot2 : Sub10 -> Sub1000 = notYet "pot2" ; -oper pot2plus : Sub10 -> Sub100 -> Sub1000 = notYet "pot2plus" ; -oper pot3 : Sub1000 -> Sub1000000 = notYet "pot3" ; -oper pot3plus : Sub1000 -> Sub1000 -> Sub1000000 = notYet "pot3plus" ; -oper PPartNP : NP -> V2 -> NP = notYet "PPartNP" ; -oper PredSCVP : SC -> VP -> Cl = notYet "PredSCVP" ; -oper PrepIP : Prep -> IP -> IAdv = notYet "PrepIP" ; -oper QuestCl : Cl -> QCl = notYet "QuestCl" ; -oper QuestIAdv : IAdv -> Cl -> QCl = notYet "QuestIAdv" ; -oper QuestIComp : IComp -> NP -> QCl = notYet "QuestIComp" ; -oper QuestQVP : IP -> QVP -> QCl = notYet "QuestQVP" ; -oper QuestSlash : IP -> ClSlash -> QCl = notYet "QuestSlash" ; -oper QuestVP : IP -> VP -> QCl = notYet "QuestVP" ; -oper ReflVP : VPSlash -> VP = notYet "ReflVP" ; -oper RelCN : CN -> RS -> CN = notYet "RelCN" ; -oper RelS : S -> RS -> S = notYet "RelS" ; -oper SentCN : CN -> SC -> CN = notYet "SentCN" ; -oper SlashV2S : V2S -> S -> VPSlash = notYet "SlashV2S" ; -oper SlashV2V : V2V -> VP -> VPSlash = notYet "SlashV2V" ; -oper SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash = notYet "SlashV2VNP" ; -oper SlashVS : NP -> VS -> SSlash -> ClSlash = notYet "SlashVS" ; -oper SlashVV : VV -> VPSlash -> VPSlash = notYet "SlashVV" ; -oper SSubjS : S -> Subj -> S -> S = notYet "SSubjS" ; -oper Use2N3 : N3 -> N2 = notYet "Use2N3" ; -oper Use3N3 : N3 -> N2 = notYet "Use3N3" ; -oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ; -oper UseRCl : Temp -> Pol -> RCl -> RS = notYet "UseRCl" ; -oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ; -oper VPSlashPrep : VP -> Prep -> VPSlash = notYet "VPSlashPrep" ; - -} diff --git a/src/latin/MissingLat.gf b/src/latin/MissingLat.gf index 7ea389016..cebb075ef 100644 --- a/src/latin/MissingLat.gf +++ b/src/latin/MissingLat.gf @@ -1 +1,156 @@ +resource MissingLat = open GrammarLat, Prelude in { + -- temporary definitions to enable the compilation of RGL API +oper AdNum : AdN -> Card -> Card = notYet "AdNum" ; +oper AdvCN : CN -> Adv -> CN = notYet "AdvCN" ; +oper AdvIAdv : IAdv -> Adv -> IAdv = notYet "AdvIAdv" ; +oper AdvIP : IP -> Adv -> IP = notYet "AdvIP" ; +oper AdvSlash : ClSlash -> Adv -> ClSlash = notYet "AdvSlash" ; +oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ; +oper BaseS : S -> S -> ListS = notYet "BaseS" ; +oper CleftAdv : Adv -> S -> Cl = notYet "CleftAdv" ; +oper CleftNP : NP -> RS -> Cl = notYet "CleftNP" ; +oper CompIP : IP -> IComp = notYet "CompIP" ; +oper ComplN2 : N2 -> NP -> CN = notYet "ComplN2" ; +oper ComplN3 : N3 -> NP -> N2 = notYet "ComplN3" ; +oper ConjRS : Conj -> ListRS -> RS = notYet "ConjRS" ; +oper ConjS : Conj -> ListS -> S = notYet "ConjS" ; +oper ConsRS : RS -> ListRS -> ListRS = notYet "ConsRS" ; +oper ConsS : S -> ListS -> ListS = notYet "ConsS" ; +oper DetQuantOrd : Quant -> Num -> Ord -> Det = notYet "DetQuantOrd" ; +oper EmbedQS : QS -> SC = notYet "EmbedQS" ; +oper EmbedS : S -> SC = notYet "EmbedS" ; +oper EmbedVP : VP -> SC = notYet "EmbedVP" ; +oper ExistIP : IP -> QCl = notYet "ExistIP" ; +oper ExistNP : NP -> Cl = notYet "ExistNP" ; +oper FunRP : Prep -> NP -> RP -> RP = notYet "FunRP" ; +oper GenericCl : VP -> Cl = notYet "GenericCl" ; +oper IdetCN : IDet -> CN -> IP = notYet "IdetCN" ; +oper IdetIP : IDet -> IP = notYet "IdetIP" ; +oper IdetQuant : IQuant -> Num -> IDet = notYet "IdetQuant" ; +oper IdRP : RP = notYet "IdRP" ; +oper ImpersCl : VP -> Cl = notYet "ImpersCl" ; +oper ImpPl1 : VP -> Utt = notYet "ImpPl1" ; +oper ImpVP : VP -> Imp = notYet "ImpVP" ; +oper NumDigits : Digits -> Card = notYet "NumDigits" ; +oper OrdDigits : Digits -> Ord = notYet "OrdDigits" ; +oper OrdSuperl : A -> Ord = notYet "OrdSuperl" ; +oper PossPron : Pron -> Quant = notYet "PossPron" ; +oper pot1 : Digit -> Sub100 = notYet "pot1" ; +oper pot110 : Sub100 = notYet "pot110" ; +oper pot111 : Sub100 = notYet "pot111" ; +oper pot1plus : Digit -> Sub10 -> Sub100 = notYet "pot1plus" ; +oper pot1to19 : Digit -> Sub100 = notYet "pot1to19" ; +oper pot2 : Sub10 -> Sub1000 = notYet "pot2" ; +oper pot2plus : Sub10 -> Sub100 -> Sub1000 = notYet "pot2plus" ; +oper pot3 : Sub1000 -> Sub1000000 = notYet "pot3" ; +oper pot3plus : Sub1000 -> Sub1000 -> Sub1000000 = notYet "pot3plus" ; +oper PPartNP : NP -> V2 -> NP = notYet "PPartNP" ; +oper PredSCVP : SC -> VP -> Cl = notYet "PredSCVP" ; +oper PrepIP : Prep -> IP -> IAdv = notYet "PrepIP" ; +oper ProgrVP : VP -> VP = notYet "ProgrVP" ; +oper QuestCl : Cl -> QCl = notYet "QuestCl" ; +oper QuestIAdv : IAdv -> Cl -> QCl = notYet "QuestIAdv" ; +oper QuestIComp : IComp -> NP -> QCl = notYet "QuestIComp" ; +oper QuestSlash : IP -> ClSlash -> QCl = notYet "QuestSlash" ; +oper QuestVP : IP -> VP -> QCl = notYet "QuestVP" ; +oper ReflVP : VPSlash -> VP = notYet "ReflVP" ; +oper RelCl : Cl -> RCl = notYet "RelCl" ; +oper RelCN : CN -> RS -> CN = notYet "RelCN" ; +oper RelSlash : RP -> ClSlash -> RCl = notYet "RelSlash" ; +oper RelVP : RP -> VP -> RCl = notYet "RelVP" ; +oper SentCN : CN -> SC -> CN = notYet "SentCN" ; +oper SlashV2S : V2S -> S -> VPSlash = notYet "SlashV2S" ; +oper SlashV2V : V2V -> VP -> VPSlash = notYet "SlashV2V" ; +oper SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash = notYet "SlashV2VNP" ; +oper SlashVS : NP -> VS -> SSlash -> ClSlash = notYet "SlashVS" ; +oper SlashVV : VV -> VPSlash -> VPSlash = notYet "SlashVV" ; +oper Use2N3 : N3 -> N2 = notYet "Use2N3" ; +oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ; +oper UseRCl : Temp -> Pol -> RCl -> RS = notYet "UseRCl" ; +oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ; +oper AddAdvQVP : QVP -> IAdv -> QVP = notYet "AddAdvQVP" ; +oper AdjDAP : DAP -> AP -> DAP = notYet "AdjDAP" ; +oper AdNum : AdN -> Card -> Card = notYet "AdNum" ; +oper AdvCN : CN -> Adv -> CN = notYet "AdvCN" ; +oper AdvIAdv : IAdv -> Adv -> IAdv = notYet "AdvIAdv" ; +oper AdvIP : IP -> Adv -> IP = notYet "AdvIP" ; +oper AdvQVP : VP -> IAdv -> QVP = notYet "AdvQVP" ; +oper AdvSlash : ClSlash -> Adv -> ClSlash = notYet "AdvSlash" ; +oper BaseAdV : AdV -> AdV -> ListAdV = notYet "BaseAdV" ; +oper BaseCN : CN -> CN -> ListCN = notYet "BaseCN" ; +oper BaseDAP : DAP -> DAP -> ListDAP = notYet "BaseDAP" ; +oper BaseIAdv : IAdv -> IAdv -> ListIAdv = notYet "BaseIAdv" ; +oper BaseRS : RS -> RS -> ListRS = notYet "BaseRS" ; +oper BaseS : S -> S -> ListS = notYet "BaseS" ; +oper CompIP : IP -> IComp = notYet "CompIP" ; +oper ComplN2 : N2 -> NP -> CN = notYet "ComplN2" ; +oper ComplN3 : N3 -> NP -> N2 = notYet "ComplN3" ; +oper ComplSlashIP : VPSlash -> IP -> QVP = notYet "ComplSlashIP" ; +oper ConjAdV : Conj -> ListAdV -> AdV = notYet "ConjAdV" ; +oper ConjCN : Conj -> ListCN -> CN = notYet "ConjCN" ; +oper ConjDet : Conj -> ListDAP -> Det = notYet "ConjDet" ; +oper ConjIAdv : Conj -> ListIAdv -> IAdv = notYet "ConjIAdv" ; +oper ConjRS : Conj -> ListRS -> RS = notYet "ConjRS" ; +oper ConjS : Conj -> ListS -> S = notYet "ConjS" ; +oper ConsAdV : AdV -> ListAdV -> ListAdV = notYet "ConsAdV" ; +oper ConsCN : CN -> ListCN -> ListCN = notYet "ConsCN" ; +oper ConsDAP : DAP -> ListDAP -> ListDAP = notYet "ConsDAP" ; +oper ConsIAdv : IAdv -> ListIAdv -> ListIAdv = notYet "ConsIAdv" ; +oper ConsRS : RS -> ListRS -> ListRS = notYet "ConsRS" ; +oper ConsS : S -> ListS -> ListS = notYet "ConsS" ; +oper CountNP : Det -> NP -> NP = notYet "CountNP" ; +oper DetDAP : Det -> DAP = notYet "DetDAP" ; +oper DetQuantOrd : Quant -> Num -> Ord -> Det = notYet "DetQuantOrd" ; +oper EmbedQS : QS -> SC = notYet "EmbedQS" ; +oper EmbedS : S -> SC = notYet "EmbedS" ; +oper EmbedVP : VP -> SC = notYet "EmbedVP" ; +oper ExtAdvS : Adv -> S -> S = notYet "ExtAdvS" ; +oper ExtAdvVP : VP -> Adv -> VP = notYet "ExtAdvVP" ; +oper IdetCN : IDet -> CN -> IP = notYet "IdetCN" ; +oper IdetIP : IDet -> IP = notYet "IdetIP" ; +oper IdetQuant : IQuant -> Num -> IDet = notYet "IdetQuant" ; +oper ImpVP : VP -> Imp = notYet "ImpVP" ; +oper NumDigits : Digits -> Card = notYet "NumDigits" ; +oper OrdDigits : Digits -> Ord = notYet "OrdDigits" ; +oper OrdNumeralSuperl : Numeral -> A -> Ord = notYet "OrdNumeralSuperl" ; +oper OrdSuperl : A -> Ord = notYet "OrdSuperl" ; +oper PartNP : CN -> NP -> CN = notYet "PartNP" ; +oper PossNP : CN -> NP -> CN = notYet "PossNP" ; +oper PossPron : Pron -> Quant = notYet "PossPron" ; +oper pot1 : Digit -> Sub100 = notYet "pot1" ; +oper pot110 : Sub100 = notYet "pot110" ; +oper pot111 : Sub100 = notYet "pot111" ; +oper pot1plus : Digit -> Sub10 -> Sub100 = notYet "pot1plus" ; +oper pot1to19 : Digit -> Sub100 = notYet "pot1to19" ; +oper pot2 : Sub10 -> Sub1000 = notYet "pot2" ; +oper pot2plus : Sub10 -> Sub100 -> Sub1000 = notYet "pot2plus" ; +oper pot3 : Sub1000 -> Sub1000000 = notYet "pot3" ; +oper pot3plus : Sub1000 -> Sub1000 -> Sub1000000 = notYet "pot3plus" ; +oper PPartNP : NP -> V2 -> NP = notYet "PPartNP" ; +oper PredSCVP : SC -> VP -> Cl = notYet "PredSCVP" ; +oper PrepIP : Prep -> IP -> IAdv = notYet "PrepIP" ; +oper QuestCl : Cl -> QCl = notYet "QuestCl" ; +oper QuestIAdv : IAdv -> Cl -> QCl = notYet "QuestIAdv" ; +oper QuestIComp : IComp -> NP -> QCl = notYet "QuestIComp" ; +oper QuestQVP : IP -> QVP -> QCl = notYet "QuestQVP" ; +oper QuestSlash : IP -> ClSlash -> QCl = notYet "QuestSlash" ; +oper QuestVP : IP -> VP -> QCl = notYet "QuestVP" ; +oper ReflVP : VPSlash -> VP = notYet "ReflVP" ; +oper RelCN : CN -> RS -> CN = notYet "RelCN" ; +oper RelS : S -> RS -> S = notYet "RelS" ; +oper SentCN : CN -> SC -> CN = notYet "SentCN" ; +oper SlashV2S : V2S -> S -> VPSlash = notYet "SlashV2S" ; +oper SlashV2V : V2V -> VP -> VPSlash = notYet "SlashV2V" ; +oper SlashV2VNP : V2V -> NP -> VPSlash -> VPSlash = notYet "SlashV2VNP" ; +oper SlashVS : NP -> VS -> SSlash -> ClSlash = notYet "SlashVS" ; +oper SlashVV : VV -> VPSlash -> VPSlash = notYet "SlashVV" ; +oper SSubjS : S -> Subj -> S -> S = notYet "SSubjS" ; +oper Use2N3 : N3 -> N2 = notYet "Use2N3" ; +oper Use3N3 : N3 -> N2 = notYet "Use3N3" ; +oper UseQCl : Temp -> Pol -> QCl -> QS = notYet "UseQCl" ; +oper UseRCl : Temp -> Pol -> RCl -> RS = notYet "UseRCl" ; +oper UseSlash : Temp -> Pol -> ClSlash -> SSlash = notYet "UseSlash" ; +oper VPSlashPrep : VP -> Prep -> VPSlash = notYet "VPSlashPrep" ; + +}