diff options
Diffstat (limited to 'old-lib/resource/api')
55 files changed, 0 insertions, 2114 deletions
diff --git a/old-lib/resource/api/Combinators.gf b/old-lib/resource/api/Combinators.gf deleted file mode 100644 index 23426df08..000000000 --- a/old-lib/resource/api/Combinators.gf +++ /dev/null @@ -1,199 +0,0 @@ ---1 Combinators: a High-Level Syntax API - --- This module defines some "grammatical functions" that give shortcuts to --- typical constructions. [``Constructors`` Constructors.html] and the --- language-specific ``Paradigms`` modules are usually needed --- to construct arguments of these functions. - -incomplete resource Combinators = open Grammar in { - - oper - ---2 Predication - - pred : overload { - pred : V -> NP -> Cl ; -- x converges - pred : V2 -> NP -> NP -> Cl ; -- x intersects y - pred : V3 -> NP -> NP -> NP -> Cl ; -- x intersects y at z - pred : V -> NP -> NP -> Cl ; -- x and y intersect - pred : A -> NP -> Cl ; -- x is even - pred : A2 -> NP -> NP -> Cl ; -- x is divisible by y - pred : A -> NP -> NP -> Cl ; -- x and y are equal - pred : N -> NP -> Cl ; -- x is a maximum - pred : CN -> NP -> Cl ; -- x is a local maximum - pred : NP -> NP -> Cl ; -- x is the neutral element - pred : N -> NP -> NP -> Cl ; -- x and y are inverses - pred : Adv -> NP -> Cl ; -- x is in scope - pred : Prep -> NP -> NP -> Cl -- x is outside y - } ; - ---2 Function application - - app : overload { - app : N -> NP ; - app : N2 -> NP -> NP ; - app : N3 -> NP -> NP -> NP ; - app : N2 -> NP -> NP -> NP ; - app : N2 -> N -> CN ; - - app : N2 -> NP -> CN ; -- divisor of x - app : N3 -> NP -> NP -> CN ; -- path from x to y - app : N2 -> NP -> NP -> CN ; -- path between x and y - } ; - ---2 Coordination - - coord : overload { - coord : Conj -> Adv -> Adv -> Adv ; - coord : Conj -> AP -> AP -> AP ; - coord : Conj -> NP -> NP -> NP ; - coord : Conj -> S -> S -> S ; - coord : Conj -> ListAdv -> Adv ; - coord : Conj -> ListAP -> AP ; - coord : Conj -> ListNP -> NP ; - coord : Conj -> ListS -> S ; - - } ; - ---2 Modification - - mod : overload { - mod : A -> N -> CN ; - mod : AP -> CN -> CN ; - mod : AdA -> A -> AP ; - mod : Det -> N -> NP ; - mod : Det -> CN -> NP ; - mod : Quant -> N -> NP ; - mod : Quant -> CN -> NP ; - mod : Predet -> N -> NP ; - mod : Numeral -> N -> NP - - - } ; - ---2 Negation - - neg : overload { - neg : Imp -> Utt ; - neg : Cl -> S ; - neg : QCl -> QS ; - neg : RCl -> RS - }; - ---2 Text append - --- This is not in ground API, because it would destroy parsing. - - appendText : Text -> Text -> Text ; - ---. - - pred = overload { - pred : V -> NP -> Cl - = \v,np -> PredVP np (UseV v) ; - pred : V2 -> NP -> NP -> Cl - = \v,np,ob -> PredVP np (ComplSlash (SlashV2a v) ob) ; - pred : V3 -> NP -> NP -> NP -> Cl - = \v,np,ob,ob2 -> - PredVP np (ComplSlash (Slash2V3 v ob) ob2) ; - pred : V -> NP -> NP -> Cl - = \v,x,y -> PredVP (ConjNP and_Conj (BaseNP x y)) (UseV v) ; - pred : A -> NP -> Cl - = \a,np -> PredVP np (UseComp (CompAP (PositA a))) ; - pred : A2 -> NP -> NP -> Cl - = \a,x,y -> PredVP x (UseComp (CompAP (ComplA2 a y))) ; - pred : A -> NP -> NP -> Cl - = \a,x,y -> PredVP (ConjNP and_Conj (BaseNP x y)) (UseComp (CompAP (PositA a))) ; - pred : N -> NP -> Cl - = \n,x -> PredVP x (UseComp (CompNP (DetArtSg (IndefArt) (UseN n)))) ; - pred : CN -> NP -> Cl - = \n,x -> PredVP x (UseComp (CompNP (DetArtSg (IndefArt) n))) ; - pred : NP -> NP -> Cl - = \n,x -> PredVP x (UseComp (CompNP n)) ; pred : N2 -> NP -> NP -> Cl - = \n,x,y -> PredVP x (UseComp (CompNP (DetArtSg (IndefArt) (ComplN2 n y)))) ; - pred : N -> NP -> NP -> Cl - = \n,x,y -> PredVP (ConjNP and_Conj (BaseNP x y)) (UseComp (CompNP (DetArtPl (IndefArt) (UseN n)))) ; - pred : Adv -> NP -> Cl - = \a,x -> PredVP x (UseComp (CompAdv a)) ; - pred : Prep -> NP -> NP -> Cl - = \p,x,y -> PredVP x (UseComp (CompAdv (PrepNP p y))) - - } ; - - app = overload { - app : N -> NP - = \n -> (DetArtSg (DefArt) (UseN n)) ; - app : N2 -> NP -> NP - = \n,x -> (DetArtSg (DefArt) (ComplN2 n x)) ; - app : N3 -> NP -> NP -> NP - = \n,x,y -> (DetArtSg (DefArt) (ComplN2 (ComplN3 n x) y)) ; - app : N2 -> NP -> NP -> NP - = \n,x,y -> (DetArtSg DefArt (ComplN2 n (ConjNP and_Conj (BaseNP x y)))) ; - app : N2 -> N -> CN - = \f,n -> ComplN2 f (DetArtPl (IndefArt) (UseN n)) ; - - app : N2 -> NP -> CN = ComplN2 ; - app : N3 -> NP -> NP -> CN = \n,x,y -> ComplN2 (ComplN3 n x) y ; - app : N2 -> NP -> NP -> CN = \n,x,y -> - ComplN2 n (ConjNP and_Conj (BaseNP x y)) ; - } ; - - coord = overload { - coord : Conj -> Adv -> Adv -> Adv - = \c,x,y -> ConjAdv c (BaseAdv x y) ; - coord : Conj -> AP -> AP -> AP - = \c,x,y -> ConjAP c (BaseAP x y) ; - coord : Conj -> NP -> NP -> NP - = \c,x,y -> ConjNP c (BaseNP x y) ; - coord : Conj -> S -> S -> S - = \c,x,y -> ConjS c (BaseS x y) ; - coord : Conj -> ListAdv -> Adv - = \c,xy -> ConjAdv c xy ; - coord : Conj -> ListAP -> AP - = \c,xy -> ConjAP c xy ; - coord : Conj -> ListNP -> NP - = \c,xy -> ConjNP c xy ; - coord : Conj -> ListS -> S - = \c,xy -> ConjS c xy - } ; - - mod = overload { - mod : A -> N -> CN - = \a,n -> AdjCN (PositA a) (UseN n) ; - mod : AP -> CN -> CN - = \a,n -> AdjCN a n ; - mod : AdA -> A -> AP - = \m,a -> AdAP m (PositA a) ; - - mod : Det -> N -> NP - = \d,n -> DetCN d (UseN n) ; - mod : Det -> CN -> NP - = \d,n -> DetCN d n ; - mod : Quant -> N -> NP - = \q,n -> DetCN (DetQuant (q) NumSg) (UseN n) ; - mod : Quant -> CN -> NP - = \q,n -> DetCN (DetQuant (q) NumSg) n ; - mod : Predet -> N -> NP - = \q,n -> PredetNP q (DetArtPl (IndefArt) (UseN n)) ; - mod : Numeral -> N -> NP - = \nu,n -> DetCN (DetArtCard (IndefArt) (NumNumeral nu)) (UseN n) - - } ; - - neg = overload { - neg : Imp -> Utt - = UttImpSg PNeg ; - neg : Cl -> S - = UseCl TPres ASimul PNeg; - neg : QCl -> QS - = UseQCl TPres ASimul PNeg; - neg : RCl -> RS - = UseRCl TPres ASimul PNeg - }; - --- This is not in ground API, because it would destroy parsing. - - appendText : Text -> Text -> Text - = \x,y -> {s = x.s ++ y.s ; lock_Text = <>} ; - -} diff --git a/old-lib/resource/api/CombinatorsAra.gf b/old-lib/resource/api/CombinatorsAra.gf deleted file mode 100644 index 707b6be7d..000000000 --- a/old-lib/resource/api/CombinatorsAra.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsAra = Combinators with (Grammar = GrammarAra) ; diff --git a/old-lib/resource/api/CombinatorsBul.gf b/old-lib/resource/api/CombinatorsBul.gf deleted file mode 100644 index 882a7c875..000000000 --- a/old-lib/resource/api/CombinatorsBul.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsBul = Combinators with (Grammar = GrammarBul) ; diff --git a/old-lib/resource/api/CombinatorsCat.gf b/old-lib/resource/api/CombinatorsCat.gf deleted file mode 100644 index af78ebfda..000000000 --- a/old-lib/resource/api/CombinatorsCat.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsCat = Combinators with (Grammar = GrammarCat) ; diff --git a/old-lib/resource/api/CombinatorsDan.gf b/old-lib/resource/api/CombinatorsDan.gf deleted file mode 100644 index dff911eba..000000000 --- a/old-lib/resource/api/CombinatorsDan.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsDan = Combinators with (Grammar = GrammarDan) ; diff --git a/old-lib/resource/api/CombinatorsEng.gf b/old-lib/resource/api/CombinatorsEng.gf deleted file mode 100644 index df539e513..000000000 --- a/old-lib/resource/api/CombinatorsEng.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsEng = Combinators with (Grammar = GrammarEng) ; diff --git a/old-lib/resource/api/CombinatorsFin.gf b/old-lib/resource/api/CombinatorsFin.gf deleted file mode 100644 index e5da96407..000000000 --- a/old-lib/resource/api/CombinatorsFin.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsFin = Combinators with (Grammar = GrammarFin) ; diff --git a/old-lib/resource/api/CombinatorsFre.gf b/old-lib/resource/api/CombinatorsFre.gf deleted file mode 100644 index 48d2166e4..000000000 --- a/old-lib/resource/api/CombinatorsFre.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsFre = Combinators with (Grammar = GrammarFre) ; diff --git a/old-lib/resource/api/CombinatorsGer.gf b/old-lib/resource/api/CombinatorsGer.gf deleted file mode 100644 index e209fa136..000000000 --- a/old-lib/resource/api/CombinatorsGer.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsGer = Combinators with (Grammar = GrammarGer) ; diff --git a/old-lib/resource/api/CombinatorsHin.gf b/old-lib/resource/api/CombinatorsHin.gf deleted file mode 100644 index e75f470c2..000000000 --- a/old-lib/resource/api/CombinatorsHin.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsHin = Combinators with (Grammar = GrammarHin) ; diff --git a/old-lib/resource/api/CombinatorsIna.gf b/old-lib/resource/api/CombinatorsIna.gf deleted file mode 100644 index 43db76efb..000000000 --- a/old-lib/resource/api/CombinatorsIna.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsIna = Combinators with (Grammar = GrammarIna) ; diff --git a/old-lib/resource/api/CombinatorsIta.gf b/old-lib/resource/api/CombinatorsIta.gf deleted file mode 100644 index 40c8ec880..000000000 --- a/old-lib/resource/api/CombinatorsIta.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsIta = Combinators with (Grammar = GrammarIta) ; diff --git a/old-lib/resource/api/CombinatorsNor.gf b/old-lib/resource/api/CombinatorsNor.gf deleted file mode 100644 index 780c88ab7..000000000 --- a/old-lib/resource/api/CombinatorsNor.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsNor = Combinators with (Grammar = GrammarNor) ; diff --git a/old-lib/resource/api/CombinatorsRus.gf b/old-lib/resource/api/CombinatorsRus.gf deleted file mode 100644 index b99b55551..000000000 --- a/old-lib/resource/api/CombinatorsRus.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsRus = Combinators with (Grammar = GrammarRus) ; diff --git a/old-lib/resource/api/CombinatorsSpa.gf b/old-lib/resource/api/CombinatorsSpa.gf deleted file mode 100644 index 43b881b50..000000000 --- a/old-lib/resource/api/CombinatorsSpa.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsSpa = Combinators with (Grammar = GrammarSpa) ; diff --git a/old-lib/resource/api/CombinatorsSwe.gf b/old-lib/resource/api/CombinatorsSwe.gf deleted file mode 100644 index c3b9a0350..000000000 --- a/old-lib/resource/api/CombinatorsSwe.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsSwe = Combinators with (Grammar = GrammarSwe) ; diff --git a/old-lib/resource/api/CombinatorsTha.gf b/old-lib/resource/api/CombinatorsTha.gf deleted file mode 100644 index 5c77348b3..000000000 --- a/old-lib/resource/api/CombinatorsTha.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource CombinatorsTha = Combinators with (Grammar = GrammarTha) ; diff --git a/old-lib/resource/api/Constructors.gf b/old-lib/resource/api/Constructors.gf deleted file mode 100644 index 0a540fe7d..000000000 --- a/old-lib/resource/api/Constructors.gf +++ /dev/null @@ -1,1700 +0,0 @@ ---1 Constructors: the Resource Syntax API - -incomplete resource Constructors = open Grammar in { - - flags optimize=noexpand ; - --- This module gives access to the syntactic constructions of the --- GF Resource Grammar library. Its main principle is simple: --- to construct an object of type $C$, use the function $mkC$. --- --- For example, an object of type $S$ corresponding to the string --- --- $John loves Mary$ --- --- is written --- --- $mkS (mkCl (mkNP (mkPN "John")) (mkV2 "love") (mkNP (mkPN "Mary")))$ --- --- This module defines the syntactic constructors, which take trees as arguments. --- Lexical constructors, which take strings as arguments, are defined in the --- $Paradigms$ modules separately for each language. --- --- The recommended usage of this module is via the wrapper module $Syntax$, --- which also contains the $Structural$ (structural words). --- Together with $Paradigms$, $Syntax$ gives everything that is needed --- to implement the concrete syntax for a langauge. - ---2 Principles of organization - --- To make the library easier to grasp and navigate, we have followed --- a set of principles when organizing it: --- + Each category $C$ has an overloaded constructor $mkC$, with value type $C$. --- + With $mkC$, it is possible to construct any tree of type $C$, except --- atomic ones, i.e. those that take no arguments, and --- those whose argument types are exactly the same as in some other instance --- + To achieve completeness, the library therefore also has --- for each atomic tree of type $C$, a constant suffixed $C$, and, --- for other missing constructions, some operation suffixed $C$. --- These constructors are listed immediately after the $mkC$ group. --- + Those atomic constructors that are given in $Structural$ are not repeated here. --- + In addition to the minimally complete set of constructions, many $mkC$ groups --- include some frequently needed special cases, with two possible logics: --- default value (to decrease the number of arguments), and --- direct arguments of an intervening constructor (to flatten the terms). --- + If such a special case is applied to some category in some rule, it is --- also applied to all other rules in which the category appears. --- + The constructors in a group are listed, roughly, --- *from the most common to the most general*. This does not of course specify --- a total order. --- + Optional argument types are marked in parentheses. Although parentheses make no --- difference in the way the GF compiler treats the types, their presence indicates --- to the reader that the corresponding arguments can be left out; internally, the --- library has an overload case for each such combination. --- + Each constructor case is equipped with an example that is built by that --- case but could not be built with any other one. --- --- - ---2 Texts, phrases, and utterances - ---3 Text: texts - --- A text is a list of phrases separated by punctuation marks. --- The default punctuation mark is the full stop, and the default --- continuation of a text is empty. - - oper - mkText : overload { - mkText : Phr -> Text ; -- 1. But John walks. - mkText : Phr -> (Punct) -> (Text) -> Text ; -- 2. John walks? Yes. - --- A text can also be directly built from utterances, which in turn can --- be directly built from sentences, present-tense clauses, questions, or --- positive imperatives. - - mkText : Utt -> Text ; -- 3. John. - mkText : S -> Text ; -- 4. John walked. - mkText : Cl -> Text ; -- 5. John walks. - mkText : QS -> Text ; -- 6. Did John walk? - mkText : Imp -> Text ; -- 7. Walk! - --- Finally, two texts can be combined into a text. - - mkText : Text -> Text -> Text ; -- 8. Where? When? Here. Now! - - } ; - --- A text can also be empty. - - emptyText : Text ; -- 8. (empty text) - - ---3 Punct: punctuation marks - --- There are three punctuation marks that can separate phrases in a text. - - fullStopPunct : Punct ; -- . - questMarkPunct : Punct ; -- ? - exclMarkPunct : Punct ; -- ! - ---3 Phr: phrases in a text - --- Phrases are built from utterances by adding a phrasal conjunction --- and a vocative, both of which are by default empty. - - mkPhr : overload { - mkPhr : Utt -> Phr ; -- 1. why - mkPhr : (PConj) -> Utt -> (Voc) -> Phr ; -- 2. but why John - - --- A phrase can also be directly built by a sentence, a present-tense --- clause, a question, or a positive singular imperative. - - mkPhr : S -> Phr ; -- 3. John walked - mkPhr : Cl -> Phr ; -- 4. John walks - mkPhr : QS -> Phr ; -- 5. did John walk - mkPhr : Imp -> Phr -- 6. walk - } ; - ---3 PConj, phrasal conjunctions - --- Any conjunction can be used as a phrasal conjunction. --- More phrasal conjunctions are defined in $Structural$. - - mkPConj : Conj -> PConj ; -- 1. and - ---3 Voc, vocatives - --- Any noun phrase can be turned into a vocative. --- More vocatives are defined in $Structural$. - - mkVoc : NP -> Voc ; -- 1. John - ---3 Utt, utterances - --- Utterances are formed from sentences, clauses, questions, and positive singular imperatives. - - mkUtt : overload { - mkUtt : S -> Utt ; -- 1. John walked - mkUtt : Cl -> Utt ; -- 2. John walks - mkUtt : QS -> Utt ; -- 3. did John walk - mkUtt : Imp -> Utt ; -- 4. love yourself - --- Imperatives can also vary in $ImpForm$ (number/politeness) and --- polarity. - - mkUtt : (ImpForm) -> (Pol) -> Imp -> Utt ; -- 5. don't love yourselves - --- Utterances can also be formed from interrogative phrases and --- interrogative adverbials, noun phrases, adverbs, and verb phrases. - - mkUtt : IP -> Utt ; -- 6. who - mkUtt : IAdv -> Utt ; -- 7. why - mkUtt : NP -> Utt ; -- 8. John - mkUtt : Adv -> Utt ; -- 9. here - mkUtt : VP -> Utt -- 10. to walk - } ; - --- The plural first-person imperative is a special construction. - - lets_Utt : VP -> Utt ; -- 11. let's walk - - ---2 Auxiliary parameters for phrases and sentences - ---3 Pol, polarity - --- Polarity is a parameter that sets a clause to positive or negative --- form. Since positive is the default, it need never be given explicitly. - - positivePol : Pol ; -- (John walks) [default] - negativePol : Pol ; -- (John doesn't walk) - ---3 Ant, anteriority - --- Anteriority is a parameter that presents an event as simultaneous or --- anterior to some other reference time. --- Since simultaneous is the default, it need never be given explicitly. - - simultaneousAnt : Ant ; -- (John walks) [default] - anteriorAnt : Ant ; -- (John has walked) --# notpresent - ---3 Tense, tense - --- Tense is a parameter that relates the time of an event --- to the time of speaking about it. --- Since present is the default, it need never be given explicitly. - - presentTense : Tense ; -- (John walks) [default] - pastTense : Tense ; -- (John walked) --# notpresent - futureTense : Tense ; -- (John will walk) --# notpresent - conditionalTense : Tense ; -- (John would walk) --# notpresent - ---3 ImpForm, imperative form - --- Imperative form is a parameter that sets the form of imperative --- by reference to the person or persons addressed. --- Since singular is the default, it need never be given explicitly. - - singularImpForm : ImpForm ; -- (help yourself) [default] - pluralImpForm : ImpForm ; -- (help yourselves) - politeImpForm : ImpForm ; -- (help yourself) (polite singular) - - ---2 Sentences and clauses - ---3 S, sentences - --- A sentence has a fixed tense, anteriority and polarity. - - mkS : overload { - mkS : Cl -> S ; -- 1. John walks - mkS : (Tense) -> (Ant) -> (Pol) -> Cl -> S ; -- 2. John wouldn't have walked - --- Sentences can be combined with conjunctions. This can apply to a pair --- of sentences, but also to a list of more than two. - - mkS : Conj -> S -> S -> S ; -- 3. John walks and I run - mkS : Conj -> ListS -> S ; -- 4. John walks, I run and you sleep - --- A sentence can be prefixed by an adverb. - - mkS : Adv -> S -> S -- 5. today, John walks - } ; - ---3 Cl, clauses - --- A clause has a variable tense, anteriority and polarity. --- A clause can be built from a subject noun phrase --- with a verb and appropriate arguments. - - mkCl : overload { - mkCl : NP -> V -> Cl ; -- 1. John walks - mkCl : NP -> V2 -> NP -> Cl ; -- 2. John loves her - mkCl : NP -> V3 -> NP -> NP -> Cl ; -- 3. John sends it to her - mkCl : NP -> VV -> VP -> Cl ; -- 4. John wants to walk - mkCl : NP -> VS -> S -> Cl ; -- 5. John says that it is good - mkCl : NP -> VQ -> QS -> Cl ; -- 6. John wonders if it is good - mkCl : NP -> VA -> AP -> Cl ; -- 7. John becomes old - mkCl : NP -> V2A -> NP -> AP -> Cl ; -- 8. John paints it red - mkCl : NP -> V2S -> NP -> S -> Cl ; -- 9. John tells her that we are here - mkCl : NP -> V2Q -> NP -> QS -> Cl ; -- 10. John asks her who is here - mkCl : NP -> V2V -> NP -> VP -> Cl ; -- 11. John forces us to sleep - mkCl : NP -> A -> Cl ; -- 12. John is old - mkCl : NP -> A -> NP -> Cl ; -- 13. John is older than her - mkCl : NP -> A2 -> NP -> Cl ; -- 14. John is married to her - mkCl : NP -> AP -> Cl ; -- 15. John is very old - mkCl : NP -> N -> Cl ; -- 16. John is a man - mkCl : NP -> CN -> Cl ; -- 17. John is an old man - mkCl : NP -> NP -> Cl ; -- 18. John is the man - mkCl : NP -> Adv -> Cl ; -- 19. John is here - --- As the general rule, a clause can be built from a subject noun phrase and --- a verb phrase. - - mkCl : NP -> VP -> Cl ; -- 20. John walks here - --- Subjectless verb phrases are used for impersonal actions. - - mkCl : V -> Cl ; -- 21. it rains - mkCl : VP -> Cl ; -- 22. it is raining - --- Existentials are a special form of clauses. - - mkCl : N -> Cl ; -- 23. there is a house - mkCl : CN -> Cl ; -- 24. there is an old houses - mkCl : NP -> Cl ; -- 25. there are five houses - --- There are also special forms in which a noun phrase or an adverb is --- emphasized. - - mkCl : NP -> RS -> Cl ; -- 26. it is John that walks - mkCl : Adv -> S -> Cl -- 27. it is here John walks - } ; - --- Generic clauses are one with an impersonal subject. - - genericCl : VP -> Cl ; -- 28. one walks - - ---2 Verb phrases and imperatives - ---3 VP, verb phrases - --- A verb phrase is formed from a verb with appropriate arguments. - - mkVP : overload { - mkVP : V -> VP ; -- 1. walk - mkVP : V2 -> NP -> VP ; -- 2. love her - mkVP : V3 -> NP -> NP -> VP ; -- 3. send it to her - mkVP : VV -> VP -> VP ; -- 4. want to walk - mkVP : VS -> S -> VP ; -- 5. know that she walks - mkVP : VQ -> QS -> VP ; -- 6. ask if she walks - mkVP : VA -> AP -> VP ; -- 7. become old - mkVP : V2A -> NP -> AP -> VP ; -- 8. paint it red - --- The verb can also be a copula ("be"), and the relevant argument is --- then the complement adjective or noun phrase. - - mkVP : A -> VP ; -- 9. be warm - mkVP : AP -> VP ; -- 12. be very warm - mkVP : A -> NP -> VP ; -- 10. be older than her - mkVP : A2 -> NP -> VP ; -- 11. be married to her - mkVP : N -> VP ; -- 13. be a man - mkVP : CN -> VP ; -- 14. be an old man - mkVP : NP -> VP ; -- 15. be the man - mkVP : Adv -> VP ; -- 16. be here - --- A verb phrase can be modified with a postverbal or a preverbal adverb. - - mkVP : VP -> Adv -> VP ; -- 17. sleep here - mkVP : AdV -> VP -> VP ; -- 18. always sleep - --- Objectless verb phrases can be taken to verb phrases in two ways. - - mkVP : VPSlash -> NP -> VP ; -- 19. paint it black - mkVP : VPSlash -> VP ; -- 20. paint itself black - - } ; - --- Two-place verbs can be used reflexively. - - reflexiveVP : V2 -> VP ; -- 19. love itself - --- Two-place verbs can also be used in the passive, with or without an agent. - - passiveVP : overload { - passiveVP : V2 -> VP ; -- 20. be loved - passiveVP : V2 -> NP -> VP ; -- 21. be loved by her - } ; - --- A verb phrase can be turned into the progressive form. - - progressiveVP : VP -> VP ; -- 22. be sleeping - ---3 Imp, imperatives - --- Imperatives are formed from verbs and their arguments; as the general --- rule, from verb phrases. - - mkImp : overload { - mkImp : V -> Imp ; -- go - mkImp : V2 -> NP -> Imp ; -- take it - mkImp : VP -> Imp -- go there now - } ; - - ---2 Noun phrases and determiners - ---3 NP, noun phrases - --- A noun phrases can be built from a determiner and a common noun ($CN$) . --- For determiners, the special cases of quantifiers, numerals, integers, --- and possessive pronouns are provided. For common nouns, the --- special case of a simple common noun ($N$) is always provided. - - mkNP : overload { - mkNP : Art N -> NP ; -- 1. the man - mkNP : Art -> (Num) -> CN -> NP ; -- 2. the five old men - mkNP : Quant -> N -> NP ; -- 3. this men - mkNP : Quant -> (Num) -> CN -> NP ; -- 4. these five old men - mkNP : Det -> N -> NP ; -- 5. the first man - mkNP : Det -> CN -> NP ; -- 6. the first old man - mkNP : Numeral -> N -> NP ; -- 7. twenty men - mkNP : Numeral -> CN -> NP ; -- 8. twenty old men - mkNP : Digits -> N -> NP ; -- 9. 45 men - mkNP : Digits -> CN -> NP ; -- 10. 45 old men - mkNP : Card -> N -> NP ; -- 11. almost twenty men - mkNP : Card -> CN -> NP ; -- 12. almost twenty old men - mkNP : Pron -> N -> NP ; -- 13. my man - mkNP : Pron -> CN -> NP ; -- 14. my old man - --- Proper names and pronouns can be used as noun phrases. - - mkNP : PN -> NP ; -- 15. John - mkNP : Pron -> NP ; -- 16. he - --- Determiners alone can form noun phrases (this excludes articles, $Art$) - - mkNP : Quant -> NP ; -- 17. this - mkNP : Det -> NP ; -- 18. these five - --- Determinesless mass noun phrases. - - mkNP : N -> NP ; -- 19. beer - mkNP : CN -> NP ; -- 20. beer - --- A noun phrase once formed can be prefixed by a predeterminer and --- suffixed by a past participle or an adverb. - - mkNP : Predet -> NP -> NP ; -- 21. only John - mkNP : NP -> V2 -> NP ; -- 22. John killed - mkNP : NP -> Adv -> NP ; -- 23. John in Paris - --- A conjunction can be formed both from two noun phrases and a longer --- list of them. - - mkNP : Conj -> NP -> NP -> NP ; -- 22. John and I - mkNP : Conj -> ListNP -> NP ; -- 23. John, I, and that - - } ; - - ---3 Det, determiners - --- A determiner is either a singular or a plural one. --- Both have a quantifier and an optional ordinal; the plural --- determiner also has an optional numeral. - - mkDet : overload { - mkDet : Quant -> Det ; -- 1. this - mkDet : Quant -> (Ord) -> Det ; -- 2. this first - mkDet : Quant -> Num -> Det ; -- 3. these - mkDet : Quant -> Num -> (Ord) -> Det ; -- 4. these five best - --- Quantifiers that have both singular and plural forms are by default used as --- singular determiners. If a numeral is added, the plural form is chosen. - - mkDet : Quant -> Det ; -- 5. this - mkDet : Quant -> Num -> Det ; -- 6. these five - --- Numerals, their special cases integers and digits, and possessive pronouns can be --- used as determiners. - - mkDet : Card -> Det ; -- 7. almost twenty - mkDet : Numeral -> Det ; -- 8. five - mkDet : Digits -> Det ; -- 9. 51 - mkDet : Pron -> Det ; -- 10. my (house) - mkDet : Pron -> Num -> Det -- 11. my (houses) - } ; - ---3 Art, articles - --- There are definite and indefinite articles. - - the_Art : Art ; -- the - a_Art : Art ; -- a - ---3 Num, cardinal numerals - --- Numerals can be formed from number words ($Numeral$), their special case digits, --- and from symbolic integers. - - mkNum : overload { - mkNum : Numeral -> Num ; -- 1. twenty - mkNum : Digits -> Num ; -- 2. 51 - mkNum : Card -> Num ; -- 3. twenty - --- A numeral can be modified by an adnumeral. - - mkNum : AdN -> Card -> Num -- 4. almost ten - } ; - --- Dummy numbers are sometimes to select the grammatical number of a determiner. - - sgNum : Num ; -- singular - plNum : Num ; -- plural - ---3 Ord, ordinal numerals - --- Just like cardinals, ordinals can be formed from number words ($Numeral$) --- and from symbolic integers. - - mkOrd : overload { - mkOrd : Numeral -> Ord ; -- 1. twentieth - mkOrd : Digits -> Ord ; -- 2. 51st - --- Also adjectives in the superlative form can appear on ordinal positions. - - mkOrd : A -> Ord -- 3. best - } ; - ---3 AdN, adnumerals - --- Comparison adverbs can be used as adnumerals. - - mkAdN : CAdv -> AdN ; -- 1. more than - ---3 Numeral, number words - --- Digits and some "round" numbers are here given as shorthands. - - n1_Numeral : Numeral ; -- 1. one - n2_Numeral : Numeral ; -- 2. two - n3_Numeral : Numeral ; -- 3. three - n4_Numeral : Numeral ; -- 4. four - n5_Numeral : Numeral ; -- 5. five - n6_Numeral : Numeral ; -- 6. six - n7_Numeral : Numeral ; -- 7. seven - n8_Numeral : Numeral ; -- 8. eight - n9_Numeral : Numeral ; -- 9. nine - n10_Numeral : Numeral ; -- 10. ten - n20_Numeral : Numeral ; -- 11. twenty - n100_Numeral : Numeral ; -- 12. hundred - n1000_Numeral : Numeral ; -- 13. thousand - --- See $Numeral$ for the full set of constructors, and use the category --- $Digits$ for other numbers from one million. - - mkDigits : overload { - mkDigits : Dig -> Digits ; -- 1. 8 - mkDigits : Dig -> Digits -> Digits ; -- 2. 876 - } ; - - n1_Digits : Digits ; -- 1. 1 - n2_Digits : Digits ; -- 2. 2 - n3_Digits : Digits ; -- 3. 3 - n4_Digits : Digits ; -- 4. 4 - n5_Digits : Digits ; -- 5. 5 - n6_Digits : Digits ; -- 6. 6 - n7_Digits : Digits ; -- 7. 7 - n8_Digits : Digits ; -- 8. 8 - n9_Digits : Digits ; -- 9. 9 - n10_Digits : Digits ; -- 10. 10 - n20_Digits : Digits ; -- 11. 20 - n100_Digits : Digits ; -- 12. 100 - n1000_Digits : Digits ; -- 13. 1,000 - ---3 Dig, single digits - - n0_Dig : Dig ; -- 0. 0 - n1_Dig : Dig ; -- 1. 1 - n2_Dig : Dig ; -- 2. 2 - n3_Dig : Dig ; -- 3. 3 - n4_Dig : Dig ; -- 4. 4 - n5_Dig : Dig ; -- 5. 5 - n6_Dig : Dig ; -- 6. 6 - n7_Dig : Dig ; -- 7. 7 - n8_Dig : Dig ; -- 8. 8 - n9_Dig : Dig ; -- 9. 9 - - ---2 Nouns - ---3 CN, common noun phrases - - mkCN : overload { - --- The most frequent way of forming common noun phrases is from atomic nouns $N$. - - mkCN : N -> CN ; -- 1. house - --- Common noun phrases can be formed from relational nouns by providing arguments. - - mkCN : N2 -> NP -> CN ; -- 2. mother of John - mkCN : N3 -> NP -> NP -> CN ; -- 3. distance from this city to Paris - --- Relational nouns can also be used without their arguments. - - mkCN : N2 -> CN ; -- 4. son - mkCN : N3 -> CN ; -- 5. flight - --- A common noun phrase can be modified by adjectival phrase. We give special --- cases of this, where one or both of the arguments are atomic. - - mkCN : A -> N -> CN ; -- 6. big house - mkCN : A -> CN -> CN ; -- 7. big blue house - mkCN : AP -> N -> CN ; -- 8. very big house - mkCN : AP -> CN -> CN ; -- 9. very big blue house - --- A common noun phrase can be modified by a relative clause or an adverb. - - mkCN : N -> RS -> CN ; -- 10. house that John loves - mkCN : CN -> RS -> CN ; -- 11. big house that John loves - mkCN : N -> Adv -> CN ; -- 12. house in the city - mkCN : CN -> Adv -> CN ; -- 13. big house in the city - --- For some nouns it makes sense to modify them by sentences, --- questions, or infinitives. But syntactically this is possible for --- all nouns. - - mkCN : CN -> S -> CN ; -- 14. rule that John walks - mkCN : CN -> QS -> CN ; -- 15. question if John walks - mkCN : CN -> VP -> CN ; -- 16. reason to walk - --- A noun can be used in apposition to a noun phrase, especially a proper name. - - mkCN : N -> NP -> CN ; -- 17. king John - mkCN : CN -> NP -> CN -- 18. old king John - } ; - - ---2 Adjectives and adverbs - ---3 AP, adjectival phrases - - mkAP : overload { - --- Adjectival phrases can be formed from atomic adjectives by using the positive form or --- the comparative with a complement - - mkAP : A -> AP ; -- 1. old - mkAP : A -> NP -> AP ; -- 2. older than John - --- Relational adjectives can be used with a complement or a reflexive - - mkAP : A2 -> NP -> AP ; -- 3. married to her - mkAP : A2 -> AP ; -- 4. married to myself - --- Some adjectival phrases can take as complements sentences, --- questions, or infinitives. Syntactically this is possible for --- all adjectives. - - mkAP : AP -> S -> AP ; -- 5. probable that John walks - mkAP : AP -> QS -> AP ; -- 6. uncertain if John walks - mkAP : AP -> VP -> AP ; -- 7. ready to go - --- An adjectival phrase can be modified by an adadjective. - - mkAP : AdA -> A -> AP ; -- 8. very old - mkAP : AdA -> AP -> AP ; -- 9. very very old - --- Conjunction can be formed from two or more adjectival phrases. - - mkAP : Conj -> AP -> AP -> AP ; -- 10. old and big - mkAP : Conj -> ListAP -> AP ; -- 11. old, big, and warm - - } ; - ---3 Adv, adverbial phrases - - mkAdv : overload { - --- Adverbs can be formed from adjectives. - - mkAdv : A -> Adv ; -- 1. warmly - --- Prepositional phrases are treated as adverbs. - - mkAdv : Prep -> NP -> Adv ; -- 2. with John - --- Subordinate sentences are treated as adverbs. - - mkAdv : Subj -> S -> Adv ; -- 3. when John walks - --- An adjectival adverb can be compared to a noun phrase or a sentence. - - mkAdv : CAdv -> A -> NP -> Adv ; -- 4. more warmly than John - mkAdv : CAdv -> A -> S -> Adv ; -- 5. more warmly than John walks - --- Adverbs can be modified by adadjectives. - - mkAdv : AdA -> Adv -> Adv ; -- 6. very warmly - --- Conjunction can be formed from two or more adverbial phrases. - - mkAdv : Conj -> Adv -> Adv -> Adv ; -- 7. here and now - mkAdv : Conj -> ListAdv -> Adv ; -- 8. with John, here and now - } ; - - ---2 Questions and relatives - ---3 QS, question sentences - - mkQS : overload { - --- Just like a sentence $S$ is built from a clause $Cl$, --- a question sentence $QS$ is built from --- a question clause $QCl$ by fixing tense, anteriority and polarity. --- Any of these arguments can be omitted, which results in the --- default (present, simultaneous, and positive, respectively). - - mkQS : QCl -> QS ; -- 1. who walks - mkQS : (Tense) -> (Ant) -> (Pol) -> QCl -> QS ; -- 2. who wouldn't have walked - --- Since 'yes-no' question clauses can be built from clauses (see below), --- we give a shortcut --- for building a question sentence directly from a clause, using the defaults --- present, simultaneous, and positive. - - mkQS : Cl -> QS -- 3. does John walk - } ; - - ---3 QCl, question clauses - - mkQCl : overload { - --- 'Yes-no' question clauses are built from 'declarative' clauses. - - mkQCl : Cl -> QCl ; -- 1. does John walk - --- 'Wh' questions are built from interrogative pronouns in subject --- or object position. The former uses a verb phrase; we don't give --- shortcuts for verb-argument sequences as we do for clauses. --- The latter uses the 'slash' category of objectless clauses --- (see below); we give the common special case with a two-place verb. - - mkQCl : IP -> VP -> QCl ; -- 2. who walks - mkQCl : IP -> NP -> V2 -> QCl ; -- 3. whom does John love - mkQCl : IP -> ClSlash -> QCl ; -- 4. whom does John love today - --- Adverbial 'wh' questions are built with interrogative adverbials, with the --- special case of prepositional phrases with interrogative pronouns. - - mkQCl : IAdv -> Cl -> QCl ; -- 5. why does John walk - mkQCl : Prep -> IP -> Cl -> QCl ; -- 6. with who does John walk - --- An interrogative adverbial can serve as the complement of a copula. - - mkQCl : IAdv -> NP -> QCl ; -- 7. where is John - --- Existentials are a special construction. - - mkQCl : IP -> QCl -- 8. what is there - } ; - - ---3 IP, interrogative pronouns - - mkIP : overload { - --- Interrogative pronouns --- can be formed much like noun phrases, by using interrogative quantifiers. - - mkIP : IQuant -> N -> IP ; -- 1. which city - mkIP : IQuant -> (Num) -> CN -> IP ; -- 2. which five big cities - --- An interrogative pronoun can be modified by an adverb. - - mkIP : IP -> Adv -> IP -- 3. who in Paris - } ; - --- More interrogative pronouns and determiners can be found in $Structural$. - - - ---3 IAdv, interrogative adverbs. - --- In addition to the interrogative adverbs defined in the $Structural$ lexicon, they --- can be formed as prepositional phrases from interrogative pronouns. - - mkIAdv : Prep -> IP -> IAdv ; -- 1. in which city - --- More interrogative adverbs are given in $Structural$. - - ---3 RS, relative sentences - --- Just like a sentence $S$ is built from a clause $Cl$, --- a relative sentence $RS$ is built from --- a relative clause $RCl$ by fixing the tense, anteriority and polarity. --- Any of these arguments --- can be omitted, which results in the default (present, simultaneous, --- and positive, respectively). - - mkRS : overload { - mkRS : RCl -> RS ; -- 1. that walk - mkRS : (Tense) -> (Ant) -> (Pol) -> RCl -> RS -- 2. that wouldn't have walked - } ; - ---3 RCl, relative clauses - - mkRCl : overload { - --- Relative clauses are built from relative pronouns in subject or object position. --- The former uses a verb phrase; we don't give --- shortcuts for verb-argument sequences as we do for clauses. --- The latter uses the 'slash' category of objectless clauses (see below); --- we give the common special case with a two-place verb. - - mkRCl : RP -> VP -> RCl ; -- 1. that walk - mkRCl : RP -> NP -> V2 -> RCl ; -- 2. which John loves - mkRCl : RP -> ClSlash -> RCl ; -- 3. which John loves today - --- There is a simple 'such that' construction for forming relative --- clauses from clauses. - - mkRCl : Cl -> RCl -- 4. such that John loves her - } ; - ---3 RP, relative pronouns - --- There is an atomic relative pronoun - - which_RP : RP ; -- 1. which - --- A relative pronoun can be made into a kind of a prepositional phrase. - - mkRP : Prep -> NP -> RP -> RP ; -- 2. all the houses in which - - ---3 ClSlash, objectless sentences - - mkClSlash : overload { - --- Objectless sentences are used in questions and relative clauses. --- The most common way of constructing them is by using a two-place verb --- with a subject but without an object. - - mkClSlash : NP -> V2 -> ClSlash ; -- 1. (whom) John loves - --- The two-place verb can be separated from the subject by a verb-complement verb. - - mkClSlash : NP -> VV -> V2 -> ClSlash ; -- 2. (whom) John wants to see - --- The missing object can also be the noun phrase in a prepositional phrase. - - mkClSlash : Cl -> Prep -> ClSlash ; -- 3. (with whom) John walks - --- An objectless sentence can be modified by an adverb. - - mkClSlash : ClSlash -> Adv -> ClSlash -- 4. (whom) John loves today - } ; - - ---3 VPSlash, verb phrases missing an object - - mkVPSlash : overload { - --- This is the deep level of many-argument predication, permitting extraction. - - mkVPSlash : V2 -> VPSlash ; -- 1. (whom) (John) loves - mkVPSlash : V3 -> NP -> VPSlash ; -- 2. (whom) (John) gives an apple - mkVPSlash : V2A -> AP -> VPSlash ; -- 3. (whom) (John) paints red - mkVPSlash : V2Q -> QS -> VPSlash ; -- 4. (whom) (John) asks who sleeps - mkVPSlash : V2S -> S -> VPSlash ; -- 5. (whom) (John) tells that we sleep - mkVPSlash : V2V -> VP -> VPSlash ; -- 6. (whom) (John) forces to sleep - - } ; - - ---2 Lists for coordination - --- The rules in this section are very uniform: a list can be built from two or more --- expressions of the same category. - ---3 ListS, sentence lists - - mkListS : overload { - mkListS : S -> S -> ListS ; -- 1. he walks, I run - mkListS : S -> ListS -> ListS -- 2. John walks, I run, you sleep - } ; - ---3 ListAdv, adverb lists - - mkListAdv : overload { - mkListAdv : Adv -> Adv -> ListAdv ; -- 1. here, now - mkListAdv : Adv -> ListAdv -> ListAdv -- 2. to me, here, now - } ; - ---3 ListAP, adjectival phrase lists - - mkListAP : overload { - mkListAP : AP -> AP -> ListAP ; -- 1. old, big - mkListAP : AP -> ListAP -> ListAP -- 2. old, big, warm - } ; - - ---3 ListNP, noun phrase lists - - mkListNP : overload { - mkListNP : NP -> NP -> ListNP ; -- 1. John, I - mkListNP : NP -> ListNP -> ListNP -- 2. John, I, that - } ; - - ---. --- Definitions - - mkAP = overload { - mkAP : A -> AP -- warm - = PositA ; - mkAP : A -> NP -> AP -- warmer than Spain - = ComparA ; - mkAP : A2 -> NP -> AP -- divisible by 2 - = ComplA2 ; - mkAP : A2 -> AP -- divisible by itself - = ReflA2 ; - mkAP : AP -> S -> AP -- great that she won - = \ap,s -> SentAP ap (EmbedS s) ; - mkAP : AP -> QS -> AP -- great that she won - = \ap,s -> SentAP ap (EmbedQS s) ; - mkAP : AP -> VP -> AP -- great that she won - = \ap,s -> SentAP ap (EmbedVP s) ; - mkAP : AdA -> A -> AP -- very uncertain - = \x,y -> AdAP x (PositA y) ; - mkAP : AdA -> AP -> AP -- very uncertain - = AdAP ; - mkAP : Conj -> AP -> AP -> AP - = \c,x,y -> ConjAP c (BaseAP x y) ; - mkAP : Conj -> ListAP -> AP - = \c,xy -> ConjAP c xy ; - } ; - - mkAdv = overload { - mkAdv : A -> Adv -- quickly - = PositAdvAdj ; - mkAdv : Prep -> NP -> Adv -- in the house - = PrepNP ; - mkAdv : CAdv -> A -> NP -> Adv -- more quickly than John - = ComparAdvAdj ; - mkAdv : CAdv -> A -> S -> Adv -- more quickly than he runs - = ComparAdvAdjS ; - mkAdv : AdA -> Adv -> Adv -- very quickly - = AdAdv ; - mkAdv : Subj -> S -> Adv -- when he arrives - = SubjS ; - mkAdv : Conj -> Adv -> Adv -> Adv - = \c,x,y -> ConjAdv c (BaseAdv x y) ; - mkAdv : Conj -> ListAdv -> Adv - = \c,xy -> ConjAdv c xy ; - } ; - - mkCl = overload { - mkCl : NP -> VP -> Cl -- John wants to walk walks - = PredVP ; - mkCl : NP -> V -> Cl -- John walks - = \s,v -> PredVP s (UseV v); - mkCl : NP -> V2 -> NP -> Cl -- John uses it - = \s,v,o -> PredVP s (ComplV2 v o); - mkCl : NP -> V3 -> NP -> NP -> Cl - = \s,v,o,i -> PredVP s (ComplV3 v o i); - - mkCl : NP -> VV -> VP -> Cl - = \s,v,vp -> PredVP s (ComplVV v vp) ; - mkCl : NP -> VS -> S -> Cl - = \s,v,p -> PredVP s (ComplVS v p) ; - mkCl : NP -> VQ -> QS -> Cl - = \s,v,q -> PredVP s (ComplVQ v q) ; - mkCl : NP -> VA -> AP -> Cl - = \s,v,q -> PredVP s (ComplVA v q) ; - mkCl : NP -> V2A -> NP -> AP -> Cl - = \s,v,n,q -> PredVP s (ComplV2A v n q) ; - mkCl : NP -> V2S -> NP -> S -> Cl --n14 - = \s,v,n,q -> PredVP s (ComplSlash (SlashV2S v q) n) ; - mkCl : NP -> V2Q -> NP -> QS -> Cl --n14 - = \s,v,n,q -> PredVP s (ComplSlash (SlashV2Q v q) n) ; - mkCl : NP -> V2V -> NP -> VP -> Cl --n14 - = \s,v,n,q -> PredVP s (ComplSlash (SlashV2V v q) n) ; - - mkCl : VP -> Cl -- it rains - = ImpersCl ; - mkCl : NP -> RS -> Cl -- it is you who did it - = CleftNP ; - mkCl : Adv -> S -> Cl -- it is yesterday she arrived - = CleftAdv ; - mkCl : N -> Cl -- there is a house - = \y -> ExistNP (DetArtSg IndefArt (UseN y)) ; - mkCl : CN -> Cl -- there is a house - = \y -> ExistNP (DetArtSg IndefArt y) ; - mkCl : NP -> Cl -- there is a house - = ExistNP ; - mkCl : NP -> AP -> Cl -- John is nice and warm - = \x,y -> PredVP x (UseComp (CompAP y)) ; - mkCl : NP -> A -> Cl -- John is warm - = \x,y -> PredVP x (UseComp (CompAP (PositA y))) ; - mkCl : NP -> A -> NP -> Cl -- John is warmer than Mary - = \x,y,z -> PredVP x (UseComp (CompAP (ComparA y z))) ; - mkCl : NP -> A2 -> NP -> Cl -- John is married to Mary - = \x,y,z -> PredVP x (UseComp (CompAP (ComplA2 y z))) ; - mkCl : NP -> NP -> Cl -- John is the man - = \x,y -> PredVP x (UseComp (CompNP y)) ; - mkCl : NP -> CN -> Cl -- John is a man - = \x,y -> PredVP x (UseComp (CompNP (DetArtSg IndefArt y))) ; - mkCl : NP -> N -> Cl -- John is a man - = \x,y -> PredVP x (UseComp (CompNP (DetArtSg IndefArt (UseN y)))) ; - mkCl : NP -> Adv -> Cl -- John is here - = \x,y -> PredVP x (UseComp (CompAdv y)) ; - mkCl : V -> Cl -- it rains - = \v -> ImpersCl (UseV v) - } ; - - genericCl : VP -> Cl = GenericCl ; - - - mkNP = overload { - mkNP : Art -> N -> NP -- the man --n14 - = \d,n -> DetArtSg d (UseN n) ; - mkNP : Art -> CN -> NP -- the old man --n14 - = DetArtSg ; - mkNP : Art -> Num -> CN -> NP -- the old men --n14 - = \d,nu,cn -> case nu.n of { - ParamX.Sg => DetArtSg d cn ; - Pl => DetArtPl d cn - } ; - mkNP : Art -> Num -> N -> NP -- the men --n14 - = \d,nu,cn -> case nu.n of { - ParamX.Sg => DetArtSg d (UseN cn) ; - Pl => DetArtPl d (UseN cn) - } ; - - mkNP : Art -> Num -> Ord -> CN -> NP -- the five best men --n14 - = \d,nu,ord,cn -> DetCN (DetArtOrd d nu ord) (cn) ; - mkNP : Art -> Ord -> CN -> NP -- the best men --n14 - = \d,ord,cn -> DetCN (DetArtOrd d sgNum ord) (cn) ; - mkNP : Art -> Card -> CN -> NP -- the five men --n14 - = \d,nu,cn -> DetCN (DetArtCard d nu) (cn) ; - - mkNP : Art -> Num -> Ord -> N -> NP -- the five best men --n14 - = \d,nu,ord,cn -> DetCN (DetArtOrd d nu ord) (UseN cn) ; - mkNP : Art -> Ord -> N -> NP -- the best men --n14 - = \d,ord,cn -> DetCN (DetArtOrd d sgNum ord) (UseN cn) ; - mkNP : Art -> Card -> N -> NP -- the five men --n14 - = \d,nu,cn -> DetCN (DetArtCard d nu) (UseN cn) ; - - mkNP : CN -> NP -- old beer --n14 - = MassNP ; - mkNP : N -> NP -- beer --n14 - = \n -> MassNP (UseN n) ; - - mkNP : Det -> CN -> NP -- the old man - = DetCN ; - mkNP : Det -> N -> NP -- the man - = \d,n -> DetCN d (UseN n) ; - mkNP : Quant -> NP -- this - = \q -> DetNP (DetQuant q sgNum) ; - mkNP : Quant -> Num -> NP -- this - = \q,n -> DetNP (DetQuant q n) ; - mkNP : Det -> NP -- this - = DetNP ; - mkNP : Card -> CN -> NP -- forty-five old men - = \d,n -> DetCN (DetArtCard IndefArt d) n ; - mkNP : Card -> N -> NP -- forty-five men - = \d,n -> DetCN (DetArtCard IndefArt d) (UseN n) ; - mkNP : Quant -> CN -> NP - = \q,n -> DetCN (DetQuant q NumSg) n ; - mkNP : Quant -> N -> NP - = \q,n -> DetCN (DetQuant q NumSg) (UseN n) ; - mkNP : Quant -> Num -> CN -> NP - = \q,nu,n -> DetCN (DetQuant q nu) n ; - mkNP : Quant -> Num -> N -> NP - = \q,nu,n -> DetCN (DetQuant q nu) (UseN n) ; - - mkNP : Pron -> CN -> NP - = \p,n -> DetCN (DetQuant (PossPron p) NumSg) n ; - mkNP : Pron -> N -> NP - = \p,n -> DetCN (DetQuant (PossPron p) NumSg) (UseN n) ; - - mkNP : Numeral -> CN -> NP -- 51 old men - = \d,n -> DetCN (DetArtCard IndefArt (NumNumeral d)) n ; - - mkNP : Numeral -> N -> NP -- 51 men - = \d,n -> DetCN (DetArtCard IndefArt (NumNumeral d)) (UseN n) ; - mkNP : Digits -> CN -> NP -- 51 old men - = \d,n -> DetCN (DetArtCard IndefArt (NumDigits d)) n ; - - mkNP : Digits -> N -> NP -- 51 men - = \d,n -> DetCN (DetArtCard IndefArt (NumDigits d)) (UseN n) ; - - mkNP : Digit -> CN -> NP ---- obsol - = \d,n -> DetCN (DetArtCard IndefArt (NumNumeral (num (pot2as3 (pot1as2 (pot0as1 (pot0 d))))))) n ; - mkNP : Digit -> N -> NP ---- obsol - = \d,n -> DetCN (DetArtCard IndefArt (NumNumeral (num (pot2as3 (pot1as2 (pot0as1 (pot0 d))))))) (UseN n) ; - - mkNP : PN -> NP -- John - = UsePN ; - mkNP : Pron -> NP -- he - = UsePron ; - mkNP : Predet -> NP -> NP -- only the man - = PredetNP ; - mkNP : NP -> V2 -> NP -- the number squared - = PPartNP ; - mkNP : NP -> Adv -> NP -- Paris at midnight - = AdvNP ; - mkNP : Conj -> NP -> NP -> NP - = \c,x,y -> ConjNP c (BaseNP x y) ; - mkNP : Conj -> ListNP -> NP - = \c,xy -> ConjNP c xy ; --- backward compat - mkNP : QuantSg -> CN -> NP - = \q,n -> DetCN (DetQuant q NumSg) n ; - mkNP : QuantPl -> CN -> NP - = \q,n -> DetCN (DetQuant q NumPl) n ; - - } ; - - mkDet = overload { - - mkDet : Art -> Num -> Ord -> Det -- the five best men --n14 - = \d,nu,ord -> (DetArtOrd d nu ord) ; - mkDet : Art -> Ord -> Det -- the best men --n14 - = \d,ord -> (DetArtOrd d sgNum ord) ; - mkDet : Art -> Card -> Det -- the five men --n14 - = \d,nu -> (DetArtCard d nu) ; - - - - mkDet : Quant -> Ord -> Det -- this best man - = \q,o -> DetQuantOrd q NumSg o ; - mkDet : Quant -> Det -- this man - = \q -> DetQuant q NumSg ; - mkDet : Quant -> Num -> Ord -> Det -- these five best men - = DetQuantOrd ; - mkDet : Quant -> Num -> Det -- these five man - = DetQuant ; - mkDet : Num -> Det -- forty-five men - = DetArtCard IndefArt ; - mkDet : Digits -> Det -- 51 (men) - = \d -> DetArtCard IndefArt (NumDigits d) ; - mkDet : Numeral -> Det -- - = \d -> DetArtCard IndefArt (NumNumeral d) ; - mkDet : Pron -> Det -- my (house) - = \p -> DetQuant (PossPron p) NumSg ; - mkDet : Pron -> Num -> Det -- my (houses) - = \p -> DetQuant (PossPron p) ; - } ; - - - the_Art : Art = DefArt ; -- the - a_Art : Art = IndefArt ; -- a - --- 1.4 --- defSgDet : Det = DetSg (SgQuant DefArt) NoOrd ; -- the (man) --- defPlDet : Det = DetPl (PlQuant DefArt) NoNum NoOrd ; -- the (man) --- indefSgDet : Det = DetSg (SgQuant IndefArt) NoOrd ; -- the (man) --- indefPlDet : Det = DetPl (PlQuant IndefArt) NoNum NoOrd ; -- the (man) - - ---- obsol - - mkQuantSg : Quant -> QuantSg = SgQuant ; - mkQuantPl : Quant -> QuantPl = PlQuant ; - --- defQuant = DefArt ; --- indefQuant = IndefArt ; - --- massQuant : QuantSg = SgQuant MassDet ; --- the_QuantSg : QuantSg = SgQuant DefArt ; --- a_QuantSg : QuantSg = mkQuantSg indefQuant ; - this_QuantSg : QuantSg = mkQuantSg this_Quant ; - that_QuantSg : QuantSg = mkQuantSg that_Quant ; - --- the_QuantPl : QuantPl = mkQuantPl defQuant ; --- a_QuantPl : QuantPl = mkQuantPl indefQuant ; - these_QuantPl : QuantPl = mkQuantPl this_Quant ; - those_QuantPl : QuantPl = mkQuantPl that_Quant ; - - sgNum : Num = NumSg ; - plNum : Num = NumPl ; - - - mkNum = overload { - mkNum : Numeral -> Num - = \d -> NumCard (NumNumeral d) ; - mkNum : Digits -> Num -- 51 - = \d -> NumCard (NumDigits d) ; - mkNum : Digit -> Num - = \d -> NumCard (NumNumeral (num (pot2as3 (pot1as2 (pot0as1 (pot0 d)))))) ; - mkNum : Card -> Num = NumCard ; - mkNum : AdN -> Card -> Num = \a,c -> NumCard (AdNum a c) - } ; - - singularNum : Num -- [no num] - = NumSg ; - pluralNum : Num -- [no num] - = NumPl ; - - mkOrd = overload { - mkOrd : Numeral -> Ord = OrdNumeral ; - mkOrd : Digits -> Ord -- 51st - = OrdDigits ; - mkOrd : Digit -> Ord -- fifth - = \d -> - OrdNumeral (num (pot2as3 (pot1as2 (pot0as1 (pot0 d))))) ; - mkOrd : A -> Ord -- largest - = OrdSuperl - } ; - - n1_Numeral = num (pot2as3 (pot1as2 (pot0as1 pot01))) ; - n2_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n2)))) ; - n3_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n3)))) ; - n4_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n4)))) ; - n5_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n5)))) ; - n6_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n6)))) ; - n7_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n7)))) ; - n8_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n8)))) ; - n9_Numeral = num (pot2as3 (pot1as2 (pot0as1 (pot0 n9)))) ; - n10_Numeral = num (pot2as3 (pot1as2 pot110)) ; - n20_Numeral = num (pot2as3 (pot1as2 (pot1 n2))) ; - n100_Numeral = num (pot2as3 (pot2 pot01)) ; - n1000_Numeral = num (pot3 (pot1as2 (pot0as1 pot01))) ; - - n1_Digits = IDig D_1 ; - n2_Digits = IDig D_2 ; - n3_Digits = IDig D_3 ; - n4_Digits = IDig D_4 ; - n5_Digits = IDig D_5 ; - n6_Digits = IDig D_6 ; - n7_Digits = IDig D_7 ; - n8_Digits = IDig D_8 ; - n9_Digits = IDig D_9 ; - n10_Digits = IIDig D_1 (IDig D_0) ; - n20_Digits = IIDig D_2 (IDig D_0) ; - n100_Digits = IIDig D_1 (IIDig D_0 (IDig D_0)) ; - n1000_Digits = IIDig D_1 (IIDig D_0 (IIDig D_0 (IDig D_0))) ; - - - mkAdN : CAdv -> AdN = AdnCAdv ; -- more (than five) - - mkDigits = overload { - mkDigits : Dig -> Digits = IDig ; - mkDigits : Dig -> Digits -> Digits = IIDig ; - } ; - - n0_Dig = D_0 ; - n1_Dig = D_1 ; - n2_Dig = D_2 ; - n3_Dig = D_3 ; - n4_Dig = D_4 ; - n5_Dig = D_5 ; - n6_Dig = D_6 ; - n7_Dig = D_7 ; - n8_Dig = D_8 ; - n9_Dig = D_9 ; - - - - - mkCN = overload { - mkCN : N -> CN -- house - = UseN ; - mkCN : N2 -> NP -> CN -- son of the king - = ComplN2 ; - mkCN : N3 -> NP -> NP -> CN -- flight from Moscow (to Paris) - = \f,x -> ComplN2 (ComplN3 f x) ; - mkCN : N2 -> CN -- son - = UseN2 ; - mkCN : N3 -> CN -- flight - = \n -> UseN2 (Use2N3 n) ; - mkCN : AP -> CN -> CN -- nice and big blue house - = AdjCN ; - mkCN : AP -> N -> CN -- nice and big house - = \x,y -> AdjCN x (UseN y) ; - mkCN : CN -> AP -> CN -- nice and big blue house - = \x,y -> AdjCN y x ; - mkCN : N -> AP -> CN -- nice and big house - = \x,y -> AdjCN y (UseN x) ; - mkCN : A -> CN -> CN -- big blue house - = \x,y -> AdjCN (PositA x) y; - mkCN : A -> N -> CN -- big house - = \x,y -> AdjCN (PositA x) (UseN y); - mkCN : CN -> RS -> CN -- house that John owns - = RelCN ; - mkCN : N -> RS -> CN -- house that John owns - = \x,y -> RelCN (UseN x) y ; - mkCN : CN -> Adv -> CN -- house on the hill - = AdvCN ; - mkCN : N -> Adv -> CN -- house on the hill - = \x,y -> AdvCN (UseN x) y ; - mkCN : CN -> S -> CN -- fact that John smokes - = \cn,s -> SentCN cn (EmbedS s) ; - mkCN : CN -> QS -> CN -- question if John smokes - = \cn,s -> SentCN cn (EmbedQS s) ; - mkCN : CN -> VP -> CN -- reason to smoke - = \cn,s -> SentCN cn (EmbedVP s) ; - mkCN : CN -> NP -> CN -- number x, numbers x and y - = ApposCN ; - mkCN : N -> NP -> CN -- number x, numbers x and y - = \x,y -> ApposCN (UseN x) y - } ; - - - mkPhr = overload { - mkPhr : PConj -> Utt -> Voc -> Phr -- But go home my friend - = PhrUtt ; - mkPhr : Utt -> Voc -> Phr - = \u,v -> PhrUtt NoPConj u v ; - mkPhr : PConj -> Utt -> Phr - = \u,v -> PhrUtt u v NoVoc ; - mkPhr : Utt -> Phr -- Go home - = \u -> PhrUtt NoPConj u NoVoc ; - mkPhr : S -> Phr -- I go home - = \s -> PhrUtt NoPConj (UttS s) NoVoc ; - mkPhr : Cl -> Phr -- I go home - = \s -> PhrUtt NoPConj (UttS (UseCl TPres ASimul PPos s)) NoVoc ; - mkPhr : QS -> Phr -- I go home - = \s -> PhrUtt NoPConj (UttQS s) NoVoc ; - mkPhr : Imp -> Phr -- I go home - = \s -> PhrUtt NoPConj (UttImpSg PPos s) NoVoc - - } ; - - mkPConj : Conj -> PConj = PConjConj ; - noPConj : PConj = NoPConj ; - - mkVoc : NP -> Voc = VocNP ; - noVoc : Voc = NoVoc ; - - positivePol : Pol = PPos ; - negativePol : Pol = PNeg ; - - simultaneousAnt : Ant = ASimul ; - anteriorAnt : Ant = AAnter ; --# notpresent - - presentTense : Tense = TPres ; - pastTense : Tense = TPast ; --# notpresent - futureTense : Tense = TFut ; --# notpresent - conditionalTense : Tense = TCond ; --# notpresent - - param ImpForm = IFSg | IFPl | IFPol ; - - oper - singularImpForm : ImpForm = IFSg ; - pluralImpForm : ImpForm = IFPl ; - politeImpForm : ImpForm = IFPol ; - - mkUttImp : ImpForm -> Pol -> Imp -> Utt = \f,p,i -> case f of { - IFSg => UttImpSg p i ; - IFPl => UttImpPl p i ; - IFPol => UttImpPol p i - } ; - - mkUtt = overload { - mkUtt : S -> Utt -- John walked - = UttS ; - mkUtt : Cl -> Utt -- John walks - = \c -> UttS (UseCl TPres ASimul PPos c); - mkUtt : QS -> Utt -- is it good - = UttQS ; - mkUtt : ImpForm -> Pol -> Imp -> Utt -- don't help yourselves - = mkUttImp ; - mkUtt : ImpForm -> Imp -> Utt -- help yourselves - = \f -> mkUttImp f PPos ; - mkUtt : Pol -> Imp -> Utt -- (don't) help yourself - = UttImpSg ; - mkUtt : Imp -> Utt -- help yourself - = UttImpSg PPos ; - mkUtt : IP -> Utt -- who - = UttIP ; - mkUtt : IAdv -> Utt -- why - = UttIAdv ; - mkUtt : NP -> Utt -- this man - = UttNP ; - mkUtt : Adv -> Utt -- here - = UttAdv ; - mkUtt : VP -> Utt -- to sleep - = UttVP - } ; - - lets_Utt : VP -> Utt = ImpPl1 ; - - mkQCl = overload { - - mkQCl : Cl -> QCl -- does John walk - = QuestCl ; - mkQCl : IP -> VP -> QCl -- who walks - = QuestVP ; - mkQCl : IP -> ClSlash -> QCl -- who does John love - = QuestSlash ; - mkQCl : IP -> NP -> V2 -> QCl -- who does John love - = \ip,np,v -> QuestSlash ip (SlashVP np (SlashV2a v)) ; - mkQCl : IAdv -> Cl -> QCl -- why does John walk - = QuestIAdv ; - mkQCl : Prep -> IP -> Cl -> QCl -- with whom does John walk - = \p,ip -> QuestIAdv (PrepIP p ip) ; - mkQCl : IAdv -> NP -> QCl -- where is John - = \a -> QuestIComp (CompIAdv a) ; - mkQCl : IP -> QCl -- which houses are there - = ExistIP - - } ; - - mkIP = overload { - mkIP : IDet -> CN -> IP -- which songs - = IdetCN ; - mkIP : IDet -> N -> IP -- which song - = \i,n -> IdetCN i (UseN n) ; - mkIP : IQuant -> CN -> IP -- which songs - = \i,n -> IdetCN (IdetQuant i NumSg) n ; - mkIP : IQuant -> Num -> CN -> IP -- which songs - = \i,nu,n -> IdetCN (IdetQuant i nu) n ; - mkIP : IQuant -> N -> IP -- which song - = \i,n -> IdetCN (IdetQuant i NumSg) (UseN n) ; - mkIP : IP -> Adv -> IP -- who in Europe - = AdvIP - } ; - - whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; - whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; - - mkIAdv : Prep -> IP -> IAdv = PrepIP ; - - mkRCl = overload { - mkRCl : Cl -> RCl -- such that John loves her - = RelCl ; - mkRCl : RP -> VP -> RCl -- who loves John - = RelVP ; - mkRCl : RP -> ClSlash -> RCl -- whom John loves - = RelSlash ; - mkRCl : RP -> NP -> V2 -> RCl -- whom John loves - = \rp,np,v2 -> RelSlash rp (SlashVP np (SlashV2a v2)) ; - } ; - - which_RP : RP -- which - = IdRP ; - mkRP : Prep -> NP -> RP -> RP -- all the roots of which - = FunRP - ; - - mkClSlash = overload { - mkClSlash : NP -> V2 -> ClSlash -- (whom) he sees - = \np,v2 -> SlashVP np (SlashV2a v2) ; - mkClSlash : NP -> VV -> V2 -> ClSlash -- (whom) he wants to see - = \np,vv,v2 -> SlashVP np (SlashVV vv (SlashV2a v2)) ; - mkClSlash : ClSlash -> Adv -> ClSlash -- (whom) he sees tomorrow - = AdvSlash ; - mkClSlash : Cl -> Prep -> ClSlash -- (with whom) he walks - = SlashPrep - } ; - - mkImp = overload { - mkImp : VP -> Imp -- go - = ImpVP ; - mkImp : V -> Imp - = \v -> ImpVP (UseV v) ; - mkImp : V2 -> NP -> Imp - = \v,np -> ImpVP (ComplV2 v np) - } ; - - mkS = overload { - mkS : Cl -> S - = UseCl TPres ASimul PPos ; - mkS : Tense -> Cl -> S - = \t -> UseCl t ASimul PPos ; - mkS : Ant -> Cl -> S - = \a -> UseCl TPres a PPos ; - mkS : Pol -> Cl -> S - = \p -> UseCl TPres ASimul p ; - mkS : Tense -> Ant -> Cl -> S - = \t,a -> UseCl t a PPos ; - mkS : Tense -> Pol -> Cl -> S - = \t,p -> UseCl t ASimul p ; - mkS : Ant -> Pol -> Cl -> S - = \a,p -> UseCl TPres a p ; - mkS : Tense -> Ant -> Pol -> Cl -> S - = UseCl ; - mkS : Conj -> S -> S -> S - = \c,x,y -> ConjS c (BaseS x y) ; - mkS : Conj -> ListS -> S - = \c,xy -> ConjS c xy ; - mkS : Adv -> S -> S - = AdvS - - } ; - - mkQS = overload { - - mkQS : QCl -> QS - = UseQCl TPres ASimul PPos ; - mkQS : Tense -> QCl -> QS - = \t -> UseQCl t ASimul PPos ; - mkQS : Ant -> QCl -> QS - = \a -> UseQCl TPres a PPos ; - mkQS : Pol -> QCl -> QS - = \p -> UseQCl TPres ASimul p ; - mkQS : Tense -> Ant -> QCl -> QS - = \t,a -> UseQCl t a PPos ; - mkQS : Tense -> Pol -> QCl -> QS - = \t,p -> UseQCl t ASimul p ; - mkQS : Ant -> Pol -> QCl -> QS - = \a,p -> UseQCl TPres a p ; - mkQS : Tense -> Ant -> Pol -> QCl -> QS - = UseQCl ; - mkQS : Cl -> QS - = \x -> UseQCl TPres ASimul PPos (QuestCl x) - } ; - - - mkRS = overload { - - mkRS : RCl -> RS - = UseRCl TPres ASimul PPos ; - mkRS : Tense -> RCl -> RS - = \t -> UseRCl t ASimul PPos ; - mkRS : Ant -> RCl -> RS - = \a -> UseRCl TPres a PPos ; - mkRS : Pol -> RCl -> RS - = \p -> UseRCl TPres ASimul p ; - mkRS : Tense -> Ant -> RCl -> RS - = \t,a -> UseRCl t a PPos ; - mkRS : Tense -> Pol -> RCl -> RS - = \t,p -> UseRCl t ASimul p ; - mkRS : Ant -> Pol -> RCl -> RS - = \a,p -> UseRCl TPres a p ; - mkRS : Tense -> Ant -> Pol -> RCl -> RS - = UseRCl - } ; - - param Punct = PFullStop | PExclMark | PQuestMark ; - - oper - emptyText : Text = TEmpty ; -- [empty text] - - fullStopPunct : Punct = PFullStop ; -- . - questMarkPunct : Punct = PQuestMark ; -- ? - exclMarkPunct : Punct = PExclMark ; -- ! - - - mkText = overload { - mkText : Phr -> Punct -> Text -> Text = - \phr,punct,text -> case punct of { - PFullStop => TFullStop phr text ; - PExclMark => TExclMark phr text ; - PQuestMark => TQuestMark phr text - } ; - mkText : Phr -> Punct -> Text = - \phr,punct -> case punct of { - PFullStop => TFullStop phr TEmpty ; - PExclMark => TExclMark phr TEmpty ; - PQuestMark => TQuestMark phr TEmpty - } ; - mkText : Phr -> Text -- John walks. - = \x -> TFullStop x TEmpty ; - mkText : Utt -> Text - = \u -> TFullStop (PhrUtt NoPConj u NoVoc) TEmpty ; - mkText : S -> Text - = \s -> TFullStop (PhrUtt NoPConj (UttS s) NoVoc) TEmpty; - mkText : Cl -> Text - = \c -> TFullStop (PhrUtt NoPConj (UttS (UseCl TPres ASimul PPos c)) NoVoc) TEmpty; - mkText : QS -> Text - = \q -> TQuestMark (PhrUtt NoPConj (UttQS q) NoVoc) TEmpty ; - mkText : Imp -> Text - = \i -> TExclMark (PhrUtt NoPConj (UttImpSg PPos i) NoVoc) TEmpty; - mkText : Pol -> Imp -> Text - = \p,i -> TExclMark (PhrUtt NoPConj (UttImpSg p i) NoVoc) TEmpty; - mkText : Phr -> Text -> Text -- John walks. ... - = TFullStop ; - mkText : Text -> Text -> Text = \t,u -> {s = t.s ++ u.s ; lock_Text = <>} ; - } ; - - mkVP = overload { - mkVP : V -> VP -- sleep - = UseV ; - mkVP : V2 -> NP -> VP -- use it - = ComplV2 ; - mkVP : V3 -> NP -> NP -> VP -- send a message to her - = ComplV3 ; - mkVP : VV -> VP -> VP -- want to run - = ComplVV ; - mkVP : VS -> S -> VP -- know that she runs - = ComplVS ; - mkVP : VQ -> QS -> VP -- ask if she runs - = ComplVQ ; - mkVP : VA -> AP -> VP -- look red - = ComplVA ; - mkVP : V2A -> NP -> AP -> VP -- paint the house red - = ComplV2A ; - - mkVP : V2S -> NP -> S -> VP --n14 - = \v,n,q -> (ComplSlash (SlashV2S v q) n) ; - mkVP : V2Q -> NP -> QS -> VP --n14 - = \v,n,q -> (ComplSlash (SlashV2Q v q) n) ; - mkVP : V2V -> NP -> VP -> VP --n14 - = \v,n,q -> (ComplSlash (SlashV2V v q) n) ; - - mkVP : A -> VP -- be warm - = \a -> UseComp (CompAP (PositA a)) ; - mkVP : A -> NP -> VP -- John is warmer than Mary - = \y,z -> (UseComp (CompAP (ComparA y z))) ; - mkVP : A2 -> NP -> VP -- John is married to Mary - = \y,z -> (UseComp (CompAP (ComplA2 y z))) ; - mkVP : AP -> VP -- be warm - = \a -> UseComp (CompAP a) ; - mkVP : NP -> VP -- be a man - = \a -> UseComp (CompNP a) ; - mkVP : CN -> VP -- be a man - = \y -> (UseComp (CompNP (DetArtSg IndefArt y))) ; - mkVP : N -> VP -- be a man - = \y -> (UseComp (CompNP (DetArtSg IndefArt (UseN y)))) ; - mkVP : Adv -> VP -- be here - = \a -> UseComp (CompAdv a) ; - mkVP : VP -> Adv -> VP -- sleep here - = AdvVP ; - mkVP : AdV -> VP -> VP -- always sleep - = AdVVP ; - mkVP : VPSlash -> NP -> VP -- always sleep - = ComplSlash ; - mkVP : VPSlash -> VP - = ReflVP - } ; - - reflexiveVP : V2 -> VP = \v -> ReflVP (SlashV2a v) ; - - mkVPSlash = overload { - - mkVPSlash : V2 -> VPSlash -- 1. (whom) (John) loves - = SlashV2a ; - mkVPSlash : V3 -> NP -> VPSlash -- 2. (whom) (John) gives an apple - = Slash2V3 ; - mkVPSlash : V2A -> AP -> VPSlash -- 3. (whom) (John) paints red - = SlashV2A ; - mkVPSlash : V2Q -> QS -> VPSlash -- 4. (whom) (John) asks who sleeps - = SlashV2Q ; - mkVPSlash : V2S -> S -> VPSlash -- 5. (whom) (John) tells that we sleep - = SlashV2S ; - mkVPSlash : V2V -> VP -> VPSlash -- 6. (whom) (John) forces to sleep - = SlashV2V ; - } ; - - - - passiveVP = overload { - passiveVP : V2 -> VP = PassV2 ; - passiveVP : V2 -> NP -> VP = \v,np -> - (AdvVP (PassV2 v) (PrepNP by8agent_Prep np)) - } ; - progressiveVP : VP -> VP = ProgrVP ; - - - mkListS = overload { - mkListS : S -> S -> ListS = BaseS ; - mkListS : S -> ListS -> ListS = ConsS - } ; - - mkListAP = overload { - mkListAP : AP -> AP -> ListAP = BaseAP ; - mkListAP : AP -> ListAP -> ListAP = ConsAP - } ; - - mkListAdv = overload { - mkListAdv : Adv -> Adv -> ListAdv = BaseAdv ; - mkListAdv : Adv -> ListAdv -> ListAdv = ConsAdv - } ; - - mkListNP = overload { - mkListNP : NP -> NP -> ListNP = BaseNP ; - mkListNP : NP -> ListNP -> ListNP = ConsNP - } ; - - mkCard = overload { - mkCard : Numeral -> Card - = NumNumeral ; - mkNum : Digits -> Card -- 51 - = NumDigits ; - } ; - - ------------- for backward compatibility - - QuantSg : Type = Quant ** {isSg : {}} ; - QuantPl : Type = Quant ** {isPl : {}} ; - SgQuant : Quant -> QuantSg = \q -> q ** {isSg = <>} ; - PlQuant : Quant -> QuantPl = \q -> q ** {isPl = <>} ; - --- Pre-1.4 constants defined - - DetSg : Quant -> Ord -> Det = \q -> DetQuantOrd q NumSg ; - DetPl : Quant -> Num -> Ord -> Det = DetQuantOrd ; - - ComplV2 : V2 -> NP -> VP = \v,np -> ComplSlash (SlashV2a v) np ; - ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ; - ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash2V3 v o) d ; - - that_NP : NP = DetNP (DetQuant that_Quant sgNum) ; - this_NP : NP = DetNP (DetQuant this_Quant sgNum) ; - those_NP : NP = DetNP (DetQuant that_Quant plNum) ; - these_NP : NP = DetNP (DetQuant this_Quant plNum) ; - - ListAdv : Type = Grammar.ListAdv ; - ListAP : Type = Grammar.ListAP ; - ListNP : Type = Grammar.ListNP ; - ListS : Type = Grammar.ListS ; - -{- --- The definite and indefinite articles are commonly used determiners. - - defSgDet : Det ; -- 11. the (house) - defPlDet : Det ; -- 12. the (houses) - indefSgDet : Det ; -- 13. a (house) - indefPlDet : Det ; -- 14. (houses) - - ---3 QuantSg, singular quantifiers - --- From quantifiers that can have both forms, this constructor --- builds the singular form. - - mkQuantSg : Quant -> QuantSg ; -- 1. this - --- The mass noun phrase constructor is treated as a singular quantifier. - - massQuant : QuantSg ; -- 2. (mass terms) - --- More singular quantifiers are available in the $Structural$ module. --- The following singular cases of quantifiers are often used. - - the_QuantSg : QuantSg ; -- 3. the - a_QuantSg : QuantSg ; -- 4. a - this_QuantSg : QuantSg ; -- 5. this - that_QuantSg : QuantSg ; -- 6. that - - ---3 QuantPl, plural quantifiers - --- From quantifiers that can have both forms, this constructor --- builds the plural form. - - mkQuantPl : Quant -> QuantPl ; -- 1. these - --- More plural quantifiers are available in the $Structural$ module. --- The following plural cases of quantifiers are often used. - - the_QuantPl : QuantPl ; -- 2. the - a_QuantPl : QuantPl ; -- 3. (indefinite plural) - these_QuantPl : QuantPl ; -- 4. these - those_QuantPl : QuantPl ; -- 5. those --} - -} diff --git a/old-lib/resource/api/ConstructorsBul.gf b/old-lib/resource/api/ConstructorsBul.gf deleted file mode 100644 index 54a85890c..000000000 --- a/old-lib/resource/api/ConstructorsBul.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsBul = Constructors with (Grammar = GrammarBul) ; diff --git a/old-lib/resource/api/ConstructorsCat.gf b/old-lib/resource/api/ConstructorsCat.gf deleted file mode 100644 index 4efd5bad4..000000000 --- a/old-lib/resource/api/ConstructorsCat.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsCat = Constructors with (Grammar = GrammarCat) ; diff --git a/old-lib/resource/api/ConstructorsDan.gf b/old-lib/resource/api/ConstructorsDan.gf deleted file mode 100644 index 0627f96c8..000000000 --- a/old-lib/resource/api/ConstructorsDan.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsDan = Constructors with (Grammar = GrammarDan) ; diff --git a/old-lib/resource/api/ConstructorsEng.gf b/old-lib/resource/api/ConstructorsEng.gf deleted file mode 100644 index 1d88caa79..000000000 --- a/old-lib/resource/api/ConstructorsEng.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsEng = Constructors with (Grammar = GrammarEng) ; diff --git a/old-lib/resource/api/ConstructorsFin.gf b/old-lib/resource/api/ConstructorsFin.gf deleted file mode 100644 index 57934b728..000000000 --- a/old-lib/resource/api/ConstructorsFin.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsFin = Constructors with (Grammar = GrammarFin) ; diff --git a/old-lib/resource/api/ConstructorsFre.gf b/old-lib/resource/api/ConstructorsFre.gf deleted file mode 100644 index b50c55fbc..000000000 --- a/old-lib/resource/api/ConstructorsFre.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsFre = Constructors with (Grammar = GrammarFre) ; diff --git a/old-lib/resource/api/ConstructorsGer.gf b/old-lib/resource/api/ConstructorsGer.gf deleted file mode 100644 index 907bf90a0..000000000 --- a/old-lib/resource/api/ConstructorsGer.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsGer = Constructors with (Grammar = GrammarGer) ; diff --git a/old-lib/resource/api/ConstructorsIta.gf b/old-lib/resource/api/ConstructorsIta.gf deleted file mode 100644 index 29724ffee..000000000 --- a/old-lib/resource/api/ConstructorsIta.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsIta = Constructors with (Grammar = GrammarIta) ; diff --git a/old-lib/resource/api/ConstructorsNor.gf b/old-lib/resource/api/ConstructorsNor.gf deleted file mode 100644 index d95b8b0e0..000000000 --- a/old-lib/resource/api/ConstructorsNor.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsNor = Constructors with (Grammar = GrammarNor) ; diff --git a/old-lib/resource/api/ConstructorsRus.gf b/old-lib/resource/api/ConstructorsRus.gf deleted file mode 100644 index 3a77d344e..000000000 --- a/old-lib/resource/api/ConstructorsRus.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsRus = Constructors with (Grammar = GrammarRus) ; diff --git a/old-lib/resource/api/ConstructorsSpa.gf b/old-lib/resource/api/ConstructorsSpa.gf deleted file mode 100644 index 98874982a..000000000 --- a/old-lib/resource/api/ConstructorsSpa.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsSpa = Constructors with (Grammar = GrammarSpa) ; diff --git a/old-lib/resource/api/ConstructorsSwe.gf b/old-lib/resource/api/ConstructorsSwe.gf deleted file mode 100644 index 9def2d75f..000000000 --- a/old-lib/resource/api/ConstructorsSwe.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource ConstructorsSwe = Constructors with (Grammar = GrammarSwe) ; diff --git a/old-lib/resource/api/Syntax.gf b/old-lib/resource/api/Syntax.gf deleted file mode 100644 index 1302e6391..000000000 --- a/old-lib/resource/api/Syntax.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -interface Syntax = Constructors, Cat, Structural, Combinators ; - diff --git a/old-lib/resource/api/SyntaxBul.gf b/old-lib/resource/api/SyntaxBul.gf deleted file mode 100644 index ff11f6888..000000000 --- a/old-lib/resource/api/SyntaxBul.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxBul of Syntax = ConstructorsBul, CatBul, StructuralBul, CombinatorsBul ; - diff --git a/old-lib/resource/api/SyntaxCat.gf b/old-lib/resource/api/SyntaxCat.gf deleted file mode 100644 index 73ff4829c..000000000 --- a/old-lib/resource/api/SyntaxCat.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxCat of Syntax = ConstructorsCat, CatCat, StructuralCat, CombinatorsCat ; - diff --git a/old-lib/resource/api/SyntaxDan.gf b/old-lib/resource/api/SyntaxDan.gf deleted file mode 100644 index 83d07d828..000000000 --- a/old-lib/resource/api/SyntaxDan.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxDan of Syntax = ConstructorsDan, CatDan, StructuralDan, CombinatorsDan ; - diff --git a/old-lib/resource/api/SyntaxEng.gf b/old-lib/resource/api/SyntaxEng.gf deleted file mode 100644 index 940ee0573..000000000 --- a/old-lib/resource/api/SyntaxEng.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxEng of Syntax = - ConstructorsEng, CatEng, StructuralEng, CombinatorsEng ; - diff --git a/old-lib/resource/api/SyntaxFin.gf b/old-lib/resource/api/SyntaxFin.gf deleted file mode 100644 index 300c56175..000000000 --- a/old-lib/resource/api/SyntaxFin.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxFin of Syntax = ConstructorsFin, CatFin, StructuralFin, CombinatorsFin ; - diff --git a/old-lib/resource/api/SyntaxFre.gf b/old-lib/resource/api/SyntaxFre.gf deleted file mode 100644 index 8f5ffa206..000000000 --- a/old-lib/resource/api/SyntaxFre.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxFre of Syntax = ConstructorsFre, CatFre, StructuralFre, CombinatorsFre ; - diff --git a/old-lib/resource/api/SyntaxGer.gf b/old-lib/resource/api/SyntaxGer.gf deleted file mode 100644 index 59f495279..000000000 --- a/old-lib/resource/api/SyntaxGer.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxGer of Syntax = ConstructorsGer, CatGer, StructuralGer, CombinatorsGer ; - diff --git a/old-lib/resource/api/SyntaxIta.gf b/old-lib/resource/api/SyntaxIta.gf deleted file mode 100644 index 3bba98dd5..000000000 --- a/old-lib/resource/api/SyntaxIta.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxIta of Syntax = ConstructorsIta, CatIta, StructuralIta, CombinatorsIta ; - diff --git a/old-lib/resource/api/SyntaxNor.gf b/old-lib/resource/api/SyntaxNor.gf deleted file mode 100644 index 98b4d41cf..000000000 --- a/old-lib/resource/api/SyntaxNor.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxNor of Syntax = ConstructorsNor, CatNor, StructuralNor, CombinatorsNor - ; - diff --git a/old-lib/resource/api/SyntaxRus.gf b/old-lib/resource/api/SyntaxRus.gf deleted file mode 100644 index 56f750acb..000000000 --- a/old-lib/resource/api/SyntaxRus.gf +++ /dev/null @@ -1,4 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxRus of Syntax = ConstructorsRus, CatRus, StructuralRus, CombinatorsRus ; - diff --git a/old-lib/resource/api/SyntaxSpa.gf b/old-lib/resource/api/SyntaxSpa.gf deleted file mode 100644 index 40315b430..000000000 --- a/old-lib/resource/api/SyntaxSpa.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxSpa of Syntax = - ConstructorsSpa, CatSpa, StructuralSpa, CombinatorsSpa ; - diff --git a/old-lib/resource/api/SyntaxSwe.gf b/old-lib/resource/api/SyntaxSwe.gf deleted file mode 100644 index b1b603f8e..000000000 --- a/old-lib/resource/api/SyntaxSwe.gf +++ /dev/null @@ -1,5 +0,0 @@ ---# -path=.:alltenses:prelude - -instance SyntaxSwe of Syntax = - ConstructorsSwe, CatSwe, StructuralSwe, CombinatorsSwe ; - diff --git a/old-lib/resource/api/TryBul.gf b/old-lib/resource/api/TryBul.gf deleted file mode 100644 index 5b58da938..000000000 --- a/old-lib/resource/api/TryBul.gf +++ /dev/null @@ -1,13 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryBul = SyntaxBul, LexiconBul, ParadigmsBul - [mkAdv] ** - open (P = ParadigmsBul) in { - -oper - - mkAdv = overload SyntaxBul { - mkAdv : Str -> Adv = P.mkAdv ; - } ; - - -} diff --git a/old-lib/resource/api/TryCat.gf b/old-lib/resource/api/TryCat.gf deleted file mode 100644 index 872a85395..000000000 --- a/old-lib/resource/api/TryCat.gf +++ /dev/null @@ -1,13 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryCat = SyntaxCat, LexiconCat, ParadigmsCat - [mkAdv] ** - open (P = ParadigmsCat) in { - -oper - - mkAdv = overload SyntaxCat { - mkAdv : Str -> Adv = P.mkAdv ; - } ; - - -} diff --git a/old-lib/resource/api/TryDan.gf b/old-lib/resource/api/TryDan.gf deleted file mode 100644 index f92e7285d..000000000 --- a/old-lib/resource/api/TryDan.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryDan = SyntaxDan, LexiconDan, ParadigmsDan - [mkAdv] ; diff --git a/old-lib/resource/api/TryEng.gf b/old-lib/resource/api/TryEng.gf deleted file mode 100644 index 6975e4afa..000000000 --- a/old-lib/resource/api/TryEng.gf +++ /dev/null @@ -1,13 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryEng = SyntaxEng, LexiconEng, ParadigmsEng - [mkAdv] ** - open (P = ParadigmsEng) in { - -oper - - mkAdv = overload SyntaxEng { - mkAdv : Str -> Adv = P.mkAdv ; - } ; - - -} diff --git a/old-lib/resource/api/TryFin.gf b/old-lib/resource/api/TryFin.gf deleted file mode 100644 index 75ea25130..000000000 --- a/old-lib/resource/api/TryFin.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryFin = SyntaxFin, LexiconFin-[mkOrd], ParadigmsFin - [mkAdv] ; diff --git a/old-lib/resource/api/TryFre.gf b/old-lib/resource/api/TryFre.gf deleted file mode 100644 index b12983510..000000000 --- a/old-lib/resource/api/TryFre.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryFre = SyntaxFre, LexiconFre, ParadigmsFre - [mkAdv] ; diff --git a/old-lib/resource/api/TryGer.gf b/old-lib/resource/api/TryGer.gf deleted file mode 100644 index 7b4d0ddb5..000000000 --- a/old-lib/resource/api/TryGer.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryGer = SyntaxGer, LexiconGer, ParadigmsGer - [mkAdv] ; diff --git a/old-lib/resource/api/TryIta.gf b/old-lib/resource/api/TryIta.gf deleted file mode 100644 index ff91189bc..000000000 --- a/old-lib/resource/api/TryIta.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryIta = SyntaxIta, LexiconIta, ParadigmsIta - [mkAdv,in_Prep] ; diff --git a/old-lib/resource/api/TryNor.gf b/old-lib/resource/api/TryNor.gf deleted file mode 100644 index 43c9bab63..000000000 --- a/old-lib/resource/api/TryNor.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryNor = SyntaxNor, LexiconNor, ParadigmsNor - [mkAdv] ; diff --git a/old-lib/resource/api/TryRus.gf b/old-lib/resource/api/TryRus.gf deleted file mode 100644 index cb2058ceb..000000000 --- a/old-lib/resource/api/TryRus.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TryRus = SyntaxRus, LexiconRus, ParadigmsRus - [mkAdv] ; diff --git a/old-lib/resource/api/TrySpa.gf b/old-lib/resource/api/TrySpa.gf deleted file mode 100644 index 06e74933b..000000000 --- a/old-lib/resource/api/TrySpa.gf +++ /dev/null @@ -1,3 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TrySpa = SyntaxSpa, LexiconSpa, ParadigmsSpa - [mkAdv] ; diff --git a/old-lib/resource/api/TrySwe.gf b/old-lib/resource/api/TrySwe.gf deleted file mode 100644 index aac2c9e49..000000000 --- a/old-lib/resource/api/TrySwe.gf +++ /dev/null @@ -1,12 +0,0 @@ ---# -path=.:alltenses:prelude - -resource TrySwe = SyntaxSwe, LexiconSwe, ParadigmsSwe - [mkAdv] ** - open (P = ParadigmsSwe) in { - -oper - - mkAdv = overload SyntaxSwe { - mkAdv : Str -> Adv = P.mkAdv ; - } ; - -}
\ No newline at end of file |