diff --git a/lib/resource-1.0/Makefile b/lib/resource-1.0/Makefile index 861b3afcc..7daa44921 100644 --- a/lib/resource-1.0/Makefile +++ b/lib/resource-1.0/Makefile @@ -1,7 +1,7 @@ all: langs test test: - echo "gr -cat=S -number=11 -prob | tb" | gf -nocf -probs=lang.gfprob langs.gfcm + echo "gr -cat=Text -number=11 -prob | tb" | gf -nocf -probs=lang.gfprob langs.gfcm langs: echo "s ;; pm | wf langs.gfcm" | gf -src -nocf */Lang??*.gf english/LangEng.gf +RTS -M500M diff --git a/lib/resource-1.0/doc/German.dot b/lib/resource-1.0/doc/German.dot index 2927af446..e17ca1484 100644 --- a/lib/resource-1.0/doc/German.dot +++ b/lib/resource-1.0/doc/German.dot @@ -73,19 +73,19 @@ ParadigmsGer -> MorphoGer [style = "dotted"]; ParadigmsGer -> CatGer [style = "dotted"]; CatGer [style = "dashed", shape = "box", URL = "CatGer.gf"]; -CatGer -> TenseX [style = "solid"]; +CatGer -> CommonX [style = "solid"]; CatGer -> ResGer [style = "dotted"]; CatGer -> Prelude [style = "dotted"]; CatGer -> Cat [arrowhead = "empty", style = "dashed"]; Cat [style = "solid", shape = "ellipse", URL = "Cat.gf"]; -Cat -> Tense [style = "solid"]; +Cat -> Common [style = "solid"]; -TenseX [style = "dashed", shape = "box", URL = "TenseX.gf"]; -TenseX -> ParamX [style = "dotted"]; -TenseX -> Tense [arrowhead = "empty", style = "dashed"]; +CommonX [style = "dashed", shape = "box", URL = "CommonX.gf"]; +CommonX -> ParamX [style = "dotted"]; +CommonX -> Common [arrowhead = "empty", style = "dashed"]; -Tense [style = "solid", shape = "ellipse", URL = "Tense.gf"]; +Common [style = "solid", shape = "ellipse", URL = "Common.gf"]; MorphoGer [style = "dashed", shape = "ellipse", URL = "MorphoGer.gf"]; MorphoGer -> ResGer [style = "solid"]; @@ -93,12 +93,9 @@ MorphoGer -> Prelude [style = "dotted"]; MorphoGer -> Predef [style = "dotted"]; ResGer [style = "dashed", shape = "ellipse", URL = "ResGer.gf"]; -ResGer -> ParamGer [style = "solid"]; +ResGer -> ParamX [style = "solid"]; ResGer -> Prelude [style = "dotted"]; -ParamGer [style = "dashed", shape = "ellipse", URL = "ParamGer.gf"]; -ParamGer -> ParamX [style = "solid"]; - ParamX [style = "dashed", shape = "ellipse", URL = "ParamX.gf"]; ParamX -> Prelude [style = "dotted"]; diff --git a/lib/resource-1.0/doc/German.png b/lib/resource-1.0/doc/German.png index df3c71c86..7c6303897 100644 Binary files a/lib/resource-1.0/doc/German.png and b/lib/resource-1.0/doc/German.png differ diff --git a/lib/resource-1.0/doc/Lang.dot b/lib/resource-1.0/doc/Lang.dot index ec1fa508a..7de26e74c 100644 --- a/lib/resource-1.0/doc/Lang.dot +++ b/lib/resource-1.0/doc/Lang.dot @@ -13,6 +13,8 @@ Lang -> Question [style = "solid"]; Lang -> Relative [style = "solid"]; Lang -> Conjunction [style = "solid"]; Lang -> Phrase [style = "solid"]; +Lang -> Text [style = "solid"]; +Lang -> Idiom [style = "solid"]; Lang -> Structural [style = "solid"]; Lang -> Lexicon [style = "solid"]; @@ -46,6 +48,12 @@ Conjunction -> Cat [style = "solid"]; Phrase [style = "solid", shape = "ellipse", URL = "Phrase.gf"]; Phrase -> Cat [style = "solid"]; +Text [style = "solid", shape = "ellipse", URL = "Phrase.gf"]; +Text -> Cat [style = "solid"]; + +Idiom [style = "solid", shape = "ellipse", URL = "Phrase.gf"]; +Idiom -> Cat [style = "solid"]; + Structural [style = "solid", shape = "ellipse", URL = "Structural.gf"]; Structural -> Cat [style = "solid"]; @@ -53,8 +61,8 @@ Lexicon [style = "solid", shape = "ellipse", URL = "Lexicon.gf"]; Lexicon -> Cat [style = "solid"]; Cat [style = "solid", shape = "ellipse", URL = "Cat.gf"]; -Cat -> Tense [style = "solid"]; +Cat -> Common [style = "solid"]; -Tense [style = "solid", shape = "ellipse", URL = "Tense.gf"]; +Common [style = "solid", shape = "ellipse", URL = "Tense.gf"]; } diff --git a/lib/resource-1.0/doc/Lang.png b/lib/resource-1.0/doc/Lang.png index 4010ed9c9..3fc770382 100644 Binary files a/lib/resource-1.0/doc/Lang.png and b/lib/resource-1.0/doc/Lang.png differ diff --git a/lib/resource-1.0/doc/Resource-HOWTO.html b/lib/resource-1.0/doc/Resource-HOWTO.html index 92a5b7c8c..1b77a9191 100644 --- a/lib/resource-1.0/doc/Resource-HOWTO.html +++ b/lib/resource-1.0/doc/Resource-HOWTO.html @@ -7,7 +7,7 @@
Relative: construction of relative clauses
Conjunction: coordination of phrases
Phrase: construction of the major units of text and speech
+Text: construction of texts as sequences of phrases
+Idiom: idiomatic phrases such as existentials
@@ -346,8 +348,8 @@ package.
ParamX: parameter types used in many languages
-TenseX: implementation of the logical tense, anteriority,
- and polarity parameters
+CommonX: implementation of the categories $Text$ and $Phr$, as well as of
+ the logical tense, anteriority, and polarity parameters
Coordination: operations to deal with lists and coordination
Prelude: general-purpose operations on strings, records,
truth values, etc.
@@ -566,13 +568,13 @@ are only found in the comments of the modules.
+Some categories are inherited from Common. +
- abstract Cat = Tense ** {
+ abstract Cat = Common ** {
cat
@@ -49,11 +52,10 @@ gfdoc - a rudimentary GF document generator.
-Constructed in Phrase.
+Constructed in Text: Text.
+Constructed in Phrase: Phr and
- Text ; -- text consisting of several phrases
- Phr ; -- phrase in a text e.g. "But be quiet my darling."
Utt ; -- sentence, question, word... e.g. "be quiet"
Voc ; -- vocative or "please" e.g. "my darling"
@@ -61,7 +63,8 @@ Constructed in Phrase.
-Constructed in Sentence. +Constructed in Sentence, and also in +Idiom.
S ; -- declarative sentence e.g. "she lived here"
diff --git a/lib/resource-1.0/doc/gfdoc/Common.html b/lib/resource-1.0/doc/gfdoc/Common.html
new file mode 100644
index 000000000..d4cbfe679
--- /dev/null
+++ b/lib/resource-1.0/doc/gfdoc/Common.html
@@ -0,0 +1,60 @@
+
+
+
+
+ Infrastructure with common implementations.
+
+ Infrastructure with common implementations.
+
+Author:
+Last update: Tue Feb 21 16:23:52 2006
+
+
+
+
+
+
+
+
++Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
+ ++This module defines the abstract parameters of tense, polarity, and +anteriority, which are used in Phrase to generate different +forms of sentences. Together they give 2 x 4 x 4 = 16 sentence forms. +These tenses are defined for all languages in the library. More tenses +can be defined in the language extensions, e.g. the passé simple of +Romance languages. +
+
+ abstract Common = {
+
+ cat
+ Text ; -- text consisting of several phrases
+ Phr ; -- phrase in a text e.g. "But be quiet my darling."
+
+ Pol ;
+ Tense ;
+ Ant ;
+
+ fun
+ PPos, PNeg : Pol ; -- I sleep/don't sleep
+ TPres, TPast, TFut, TCond : Tense ; -- I sleep/slept/will sleep/would sleep
+ ASimul, AAnter : Ant ; -- I sleep/have slept
+
+ }
+
+
+
+
+
+
diff --git a/lib/resource-1.0/doc/gfdoc/Conjunction.html b/lib/resource-1.0/doc/gfdoc/Conjunction.html
index 26709d54e..6f8abd9f0 100644
--- a/lib/resource-1.0/doc/gfdoc/Conjunction.html
+++ b/lib/resource-1.0/doc/gfdoc/Conjunction.html
@@ -7,7 +7,7 @@
Author: -Last update: Tue Feb 7 19:04:53 2006 +Last update: Tue Feb 21 16:23:56 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Idiom.html b/lib/resource-1.0/doc/gfdoc/Idiom.html new file mode 100644 index 000000000..e06b24bee --- /dev/null +++ b/lib/resource-1.0/doc/gfdoc/Idiom.html @@ -0,0 +1,52 @@ + + +
+ ++Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
+ +
+ abstract Idiom = Cat ** {
+
+
++This module defines constructions that are formed in fixed ways, +often different even in closely related languages. +
++ fun + ExistNP : NP -> Cl ; -- there is a house + ImpersCl : VP -> Cl ; -- it rains + GenericCl : VP -> Cl ; -- one sleeps + + ProgrVP : VP -> VP ; -- sleeping + + } ++ + + + + diff --git a/lib/resource-1.0/doc/gfdoc/IrregFre.gf b/lib/resource-1.0/doc/gfdoc/IrregFre.gf index f4d9cb042..748cb4361 100644 --- a/lib/resource-1.0/doc/gfdoc/IrregFre.gf +++ b/lib/resource-1.0/doc/gfdoc/IrregFre.gf @@ -24,7 +24,7 @@ lin admettre_V2 = v_besch56 "admettre" ** {vtyp = VHabere ; lock_V2 = <> ; c2 = complAcc} ; advenir_V = v_besch23 "advenir" ** {vtyp = VEsse ; lock_V = <>} ; aller_V = v_besch22 "aller" ** {vtyp = VEsse ; lock_V = <>} ; - apercevoir_V2 = v_besch38 "apercevoir" ** {vtyp = VHabere ; lock_V2 = <> ; c2 = complGen} ; + apercevoir_V2 = v_besch38 "apercevoir" ** {vtyp = VRefl ; lock_V2 = <> ; c2 = complGen} ; apparaître_V = v_besch64 "apparaître" ** {vtyp = VHabere ; lock_V = <>} ; appartenir_V2 = v_besch23 "appartenir" ** {vtyp = VHabere ; lock_V2 = <> ; c2 = complDat} ; appendre_V2 = v_besch53 "appendre" ** {vtyp = VHabere ; lock_V2 = <> ; c2 = complAcc} ; diff --git a/lib/resource-1.0/doc/gfdoc/Lang.html b/lib/resource-1.0/doc/gfdoc/Lang.html index 4c81cec31..db99ade40 100644 --- a/lib/resource-1.0/doc/gfdoc/Lang.html +++ b/lib/resource-1.0/doc/gfdoc/Lang.html @@ -7,7 +7,7 @@
Author: -Last update: Tue Feb 7 19:04:53 2006 +Last update: Tue Feb 21 16:23:56 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Noun.html b/lib/resource-1.0/doc/gfdoc/Noun.html index 77bf1aa6f..32290145c 100644 --- a/lib/resource-1.0/doc/gfdoc/Noun.html +++ b/lib/resource-1.0/doc/gfdoc/Noun.html @@ -7,7 +7,7 @@
- PredetNP : Predet -> NP -> NP; -- only the man + PredetNP : Predet -> NP -> NP; -- only the mandiff --git a/lib/resource-1.0/doc/gfdoc/Numeral.html b/lib/resource-1.0/doc/gfdoc/Numeral.html index 2cfffa8e6..0677803f6 100644 --- a/lib/resource-1.0/doc/gfdoc/Numeral.html +++ b/lib/resource-1.0/doc/gfdoc/Numeral.html @@ -7,7 +7,7 @@
Author: -Last update: Tue Feb 7 19:04:51 2006 +Last update: Tue Feb 21 16:23:54 2006
Produced by @@ -54,7 +54,7 @@ gfdoc - a rudimentary GF document generator. ==
-# -path=.:../abstract:../../prelude +# -path=.:../abstract:../../prelude:../common
diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsFin.html b/lib/resource-1.0/doc/gfdoc/ParadigmsFin.html index 3af26d9b5..0a3d72c29 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsFin.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsFin.html @@ -28,7 +28,7 @@
Author: -Last update: Tue Feb 7 19:04:51 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by @@ -190,14 +190,6 @@ Examples: talo, kukko, huippu, koira, kukka,
-For convenience, we define 1-argument paradigms as producing the -nonhuman gender; the following function changes this: -
-- humanN : N -> N ; -- -
A special case are nouns with no alternations: the vowel harmony is inferred from the last letter, which must be one of o, u, ö, y. diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html b/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html index bd788334a..daebfdf4f 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html @@ -41,7 +41,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by @@ -276,13 +276,6 @@ the following pattern is used:
-From a given A, it is possible to get back to A.
-
- adegA : A -> A ; -- -
For prefixed adjectives, the following function is provided.
@@ -397,25 +390,24 @@ questions, verb phrases, and adjectives. aVV : V -> VV ; -- "j'arrive à parler" mkV2V : V -> Preposition -> Preposition -> V2V ; mkVA : V -> VA ; - mkV2A : V -> Preposition -> V2A ; + mkV2A : V -> Preposition -> Preposition -> V2A ; mkVQ : V -> VQ ; mkV2Q : V -> Preposition -> V2Q ; - mkAS : A -> AS ; - subjAS : A -> AS ; + mkAS : A -> AS ; mkA2S : A -> Preposition -> A2S ; mkAV : A -> Preposition -> AV ; mkA2V : A -> Preposition -> Preposition -> A2V ;
-Notice: categories V2S, V2V, V2A, V2Q are in v 1.0 treated
+Notice: categories V2S, V2V, V2Q are in v 1.0 treated
just as synonyms of V2, and the second argument is given
as an adverb. Likewise AS, A2S, AV, A2V are just A.
V0 is just V.
- V0, V2S, V2V, V2A, V2Q : Type ;
+ V0, V2S, V2V, V2Q : Type ;
AS, A2S, AV, A2V : Type ;
diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html b/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html
index 39fc6b7f0..badbb7e36 100644
--- a/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html
+++ b/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html
@@ -35,7 +35,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html b/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html index a3295f030..a4503dc3c 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html @@ -41,7 +41,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by @@ -389,25 +389,24 @@ questions, verb phrases, and adjectives. aVV : V -> VV ; -- "j'arrive à parler" mkV2V : V -> Preposition -> Preposition -> V2V ; mkVA : V -> VA ; - mkV2A : V -> Preposition -> V2A ; + mkV2A : V -> Preposition -> Preposition -> V2A ; mkVQ : V -> VQ ; mkV2Q : V -> Preposition -> V2Q ; - mkAS : A -> AS ; - subjAS : A -> AS ; + mkAS : A -> AS ; mkA2S : A -> Preposition -> A2S ; mkAV : A -> Preposition -> AV ; mkA2V : A -> Preposition -> Preposition -> A2V ;
-Notice: categories V2S, V2V, V2A, V2Q are in v 1.0 treated
+Notice: categories V2S, V2V, V2Q are in v 1.0 treated
just as synonyms of V2, and the second argument is given
as an adverb. Likewise AS, A2S, AV, A2V are just A.
V0 is just V.
- V0, V2S, V2V, V2A, V2Q : Type ;
+ V0, V2S, V2V, V2Q : Type ;
AS, A2S, AV, A2V : Type ;
diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html b/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html
index 22b6b8240..d8adfc52b 100644
--- a/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html
+++ b/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html
@@ -43,7 +43,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsSpa.html b/lib/resource-1.0/doc/gfdoc/ParadigmsSpa.html index 76b8015b3..fcb1f3e89 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsSpa.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsSpa.html @@ -41,7 +41,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by @@ -396,26 +396,25 @@ questions, verb phrases, and adjectives. aVV : V -> VV ; -- "j'arrive à parler" mkV2V : V -> Preposition -> Preposition -> V2V ; mkVA : V -> VA ; - mkV2A : V -> Preposition -> V2A ; + mkV2A : V -> Preposition -> Preposition -> V2A ; mkVQ : V -> VQ ; mkV2Q : V -> Preposition -> V2Q ; - mkAS : A -> AS ; - subjAS : A -> AS ; + mkAS : A -> AS ; mkA2S : A -> Preposition -> A2S ; mkAV : A -> Preposition -> AV ; mkA2V : A -> Preposition -> Preposition -> A2V ;
-Notice: categories V2S, V2V, V2A, V2Q are in v 1.0 treated
+Notice: categories V2S, V2V, V2Q are in v 1.0 treated
just as synonyms of V2, and the second argument is given
as an adverb. Likewise AS, A2S, AV, A2V are just A.
V0 is just V.
- V0, V2S, V2V, V2A, V2Q : Type ; - AS, A2S, AV, A2V : Type ; + V0, V2S, V2V, V2Q : Type ; + AS, A2S, AV, A2V : Type ;diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html b/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html index b73be52a1..4d8d34ca4 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html @@ -43,7 +43,7 @@
Author: -Last update: Tue Feb 7 19:04:52 2006 +Last update: Tue Feb 21 16:23:55 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Phrase.html b/lib/resource-1.0/doc/gfdoc/Phrase.html index 8cb2731b0..a5a43935c 100644 --- a/lib/resource-1.0/doc/gfdoc/Phrase.html +++ b/lib/resource-1.0/doc/gfdoc/Phrase.html @@ -7,7 +7,7 @@
+Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
+ +
+ abstract Text = Cat ** {
+
+ fun
+ TEmpty : Text ;
+ TFullStop : Phr -> Text -> Text ;
+ TQuestMark : Phr -> Text -> Text ;
+ TExclMark : Phr -> Text -> Text ;
+
+ }
+
+
+
+
+
+
diff --git a/lib/resource-1.0/doc/gfdoc/Verb.html b/lib/resource-1.0/doc/gfdoc/Verb.html
index 119b1ffad..c1fd5b16b 100644
--- a/lib/resource-1.0/doc/gfdoc/Verb.html
+++ b/lib/resource-1.0/doc/gfdoc/Verb.html
@@ -7,7 +7,7 @@