Author: -Last update: Tue Jan 31 18:15:47 2006 +Last update: Thu Feb 2 16:24:10 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Lang.html b/lib/resource-1.0/doc/gfdoc/Lang.html index 8bb1baa10..c10ff0743 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 Jan 31 18:15:47 2006 +Last update: Thu Feb 2 16:24:10 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Noun.html b/lib/resource-1.0/doc/gfdoc/Noun.html index 12342563f..02df45262 100644 --- a/lib/resource-1.0/doc/gfdoc/Noun.html +++ b/lib/resource-1.0/doc/gfdoc/Noun.html @@ -7,7 +7,7 @@
+Quantifiers that have both forms can be used in both ways. +
++ SgQuant : Quant -> QuantSg ; -- this + PlQuant : Quant -> QuantPl ; -- these ++ +
Pronouns have possessive forms. Genitives of other kinds of noun phrases are not given here, since they are not possible in e.g. Romance languages.
- PossSg : Pron -> QuantSg ; -- my (house) - PossPl : Pron -> QuantPl ; -- my (houses) + PossPron : Pron -> Quant ; -- my (house)
@@ -133,10 +140,8 @@ neatly distinct words (Spanish un, unos ; el, los) but also without any particular word (Finnish; Swedish definites).
- DefSg : QuantSg ; -- the (house) - DefPl : QuantPl ; -- the (houses) - IndefSg : QuantSg ; -- a (house) - IndefPl : QuantPl ; -- (houses) + DefArt : Quant ; -- the (house), the (houses) + IndefArt : Quant ; -- a (house), (houses)
@@ -145,7 +150,7 @@ not distinguish mass nouns from other common nouns, which can result in semantically odd expressions.
- MassDet : QuantSg ; -- (beer) + MassDet : QuantSg ; -- (beer)
diff --git a/lib/resource-1.0/doc/gfdoc/Numeral.html b/lib/resource-1.0/doc/gfdoc/Numeral.html index 843e43f74..28225ec01 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 Jan 31 18:15:46 2006 +Last update: Thu Feb 2 16:24:09 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html b/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html index fac7c6ad0..c2a534870 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 Jan 31 18:15:46 2006 +Last update: Thu Feb 2 16:24:09 2006
Produced by @@ -344,10 +344,11 @@ that gives the third person singular present indicative and future
The function regV gives all verbs the compound auxiliary avoir.
-To change it to être, use the following function.
+To change it to être, use the following function. Reflexive implies être.
etreV : V -> V ;
+ reflV : V -> V ;
diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html b/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html
index 41835115c..009d41511 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 Jan 31 18:15:46 2006 +Last update: Thu Feb 2 16:24:09 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html b/lib/resource-1.0/doc/gfdoc/ParadigmsIta.html index 61872290b..e3be9779e 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: Wed Feb 1 17:52:51 2006 +Last update: Thu Feb 2 16:24:09 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html b/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html index cbf699d0c..e8a7bc420 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 Jan 31 18:15:46 2006 +Last update: Thu Feb 2 16:24:09 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html b/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html index 43d6b12a6..ad4c8f0be 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 Jan 31 18:15:47 2006 +Last update: Thu Feb 2 16:24:10 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Phrase.html b/lib/resource-1.0/doc/gfdoc/Phrase.html index 4dabc3161..fc9dee9e8 100644 --- a/lib/resource-1.0/doc/gfdoc/Phrase.html +++ b/lib/resource-1.0/doc/gfdoc/Phrase.html @@ -7,7 +7,7 @@
-These sentences have both a positive and a negative form +We want to use sentences in positive and negative forms but do not care about +tenses.
- cat
- AS ;
-
fun
- PosAS : AS -> S ;
- NegAS : AS -> S ;
+ PosCl : Cl -> S ; -- positive sentence: "x intersects y"
+ NegCl : Cl -> S ; -- negative sentence: "x doesn't intersect y"
- predV : V -> NP -> AS ; -- one-place verb: "x converges" - predV2 : V2 -> NP -> NP -> AS ; -- two-place verb: "x intersects y" - predV3 : V3 -> NP->NP-> NP -> AS; -- three-place verb: "x intersects y at z" - predVColl : V -> NP -> NP -> AS ; -- collective verb: "x and y intersect" - predA : A -> NP -> AS ; -- one-place adjective: "x is even" - predA2 : A2 -> NP -> NP -> AS ; -- two-place adj: "x is divisible by y" - predAComp : A -> NP -> NP -> AS; -- comparative adj: "x is greater than y" - predAColl : A -> NP -> NP -> AS ; -- collective adj: "x and y are parallel" - predN : N -> NP -> AS ; -- one-place noun: "x is a point" - predN2 : N2 -> NP -> NP -> AS ; -- two-place noun: "x is a divisor of y" - predNColl : N -> NP -> NP -> AS ; -- collective noun: "x and y are duals" - predAdv : Adv -> NP -> AS ; -- adverb: "x is inside" - predPrep : Prep -> NP -> NP -> AS ; -- preposition: "x is outside y" + predV : V -> NP -> Cl ; -- one-place verb: "x converges" + predV2 : V2 -> NP -> NP -> Cl ; -- two-place verb: "x intersects y" + predV3 : V3 -> NP->NP-> NP -> Cl; -- three-place verb: "x intersects y at z" + predVColl : V -> NP -> NP -> Cl ; -- collective verb: "x and y intersect" + predA : A -> NP -> Cl ; -- one-place adjective: "x is even" + predA2 : A2 -> NP -> NP -> Cl ; -- two-place adj: "x is divisible by y" + predAComp : A -> NP -> NP -> Cl; -- comparative adj: "x is greater than y" + predAColl : A -> NP -> NP -> Cl ; -- collective adj: "x and y are parallel" + predN : N -> NP -> Cl ; -- one-place noun: "x is a point" + predN2 : N2 -> NP -> NP -> Cl ; -- two-place noun: "x is a divisor of y" + predNColl : N -> NP -> NP -> Cl ; -- collective noun: "x and y are duals" + predAdv : Adv -> NP -> Cl ; -- adverb: "x is inside" + predPrep : Prep -> NP -> NP -> Cl ; -- preposition: "x is outside y"diff --git a/lib/resource-1.0/doc/gfdoc/Question.html b/lib/resource-1.0/doc/gfdoc/Question.html index 5760bb64f..4054c1e66 100644 --- a/lib/resource-1.0/doc/gfdoc/Question.html +++ b/lib/resource-1.0/doc/gfdoc/Question.html @@ -7,7 +7,7 @@