+Author: +Last update: Tue Jan 31 18:15:47 2006 +
++Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
++== +
+
+ abstract Demonstrative = Cat ** {
+
+
+
+Naming convention: M prepended to 'unimodal' names.
+Exceptions: lexical units, those without unimodal counterparts.
+
+ cat + + MS ; -- multimodal sentence or question + MQS ; -- multimodal wh question + MImp ; -- multimodal imperative + MVP ; -- multimodal verb phrase + MComp ; -- multimodal complement to copula (MAP, MNP, MAdv) + MAP ; -- multimodal adjectival phrase + MNP ; -- multimodal (demonstrative) noun phrase + MAdv ; -- multimodal (demonstrative) adverbial + + Point ; -- pointing gesture + + fun ++ +
+A pointing gesture is constructed from a string. +
++ MkPoint : String -> Point ; ++ +
+Construction of sentences, questions, and imperatives. +
++ MPredVP : MNP -> MVP -> MS ; -- he flies here + MQPredVP : MNP -> MVP -> MQS ; -- does he fly here + + MQuestVP : IP -> MVP -> MQS ; -- who flies here + + MImpVP : MVP -> MImp ; -- fly here! ++ +
+Construction of verb phrases from verb + complements. +
++ MUseV : V -> MVP ; -- flies (here) + MComplV2 : V2 -> MNP -> MVP ; -- takes this (here) + MComplVV : VV -> MVP -> MVP ; -- wants to fly (here) + + MUseComp : MComp -> MVP ; -- is here ; is bigger than this + + MCompAP : MAP -> MComp ; -- bigger than this + MCompNP : MNP -> MComp ; -- the price of this + MCompAdv : MAdv -> MComp ; -- here + + MPositA : A -> MAP ; -- big + MComparA : A -> MNP -> MAP ; -- bigger than this ++ +
+Adverbial modification of a verb phrase. +
++ MAdvVP : MVP -> MAdv -> MVP ; -- fly here ++ +
+Demonstrative pronouns as NPs and determiners. +
++ this_MNP : Point -> MNP ; -- this + that_MNP : Point -> MNP ; -- that + thisDet_MNP : CN -> Point -> MNP ; -- this car + thatDet_MNP : CN -> Point -> MNP ; -- that car ++ +
+Demonstrative adverbs. +
++ here_MAdv : Point -> MAdv ; -- here + here7from_MAdv : Point -> MAdv ; -- from here + here7to_MAdv : Point -> MAdv ; -- to here ++ +
+Building an adverb as prepositional phrase. +
++ MPrepNP : Prep -> MNP -> MAdv ; -- in this car ++ +
+Using ordinary categories. +Mounting nondemonstrative expressions. +
++ DemNP : NP -> MNP ; + DemAdv : Adv -> MAdv ; ++ +
+Top-level phrases. +
++ PhrMS : Pol -> MS -> Phr ; + PhrMS : Pol -> MS -> Phr ; + PhrMQS : Pol -> MQS -> Phr ; + PhrMImp : Pol -> MImp -> Phr ; ++ +
+For testing and example-based grammar writing. +
++ point1, point2 : Point ; + + } ++ + + + + diff --git a/lib/resource-1.0/doc/gfdoc/Lang.html b/lib/resource-1.0/doc/gfdoc/Lang.html index a1f6a2ba7..8bb1baa10 100644 --- a/lib/resource-1.0/doc/gfdoc/Lang.html +++ b/lib/resource-1.0/doc/gfdoc/Lang.html @@ -7,7 +7,7 @@
+Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
+ +
+This grammar is a collection of the different modules.
+It differs from Lang in two main ways:
+
+In practice, the most important difference is that only present-tense sentences +are included, and that symbolic expressions are recognized as NPs. +
++ abstract Mathematical = + Noun - [ComplN2], --- to avoid ambiguity ++ +
+Verb, +Adjective, +Adverb, +
++ Numeral, ++ +
+Sentence, +
+
+ Question,
+ Relative,
+ Conjunction,
+ Phrase,
+ Structural,
+
+ Symbol,
+ Predication,
+
+ Lexicon
+ ** {} ;
+
+
+
+
+
+
diff --git a/lib/resource-1.0/doc/gfdoc/Multimodal.html b/lib/resource-1.0/doc/gfdoc/Multimodal.html
new file mode 100644
index 000000000..4c5642c10
--- /dev/null
+++ b/lib/resource-1.0/doc/gfdoc/Multimodal.html
@@ -0,0 +1,59 @@
+
+
+
+
+
+
+
+
+
++Author: +Last update: Tue Jan 31 18:15:47 2006 +
++Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. +
++== +
++ abstract Multimodal = + Noun, ++ +
+Verb, +
++ Adjective, + Adverb, + Numeral, ++ +
+Sentence, +Question, +Relative, +Conjunction, +Phrase, +Tensed, +
+
+ Structural,
+ Demonstrative,
+ Lexicon
+ ** {} ;
+
+
+
+
+
+
diff --git a/lib/resource-1.0/doc/gfdoc/Noun.html b/lib/resource-1.0/doc/gfdoc/Noun.html
index 19289edaa..12342563f 100644
--- a/lib/resource-1.0/doc/gfdoc/Noun.html
+++ b/lib/resource-1.0/doc/gfdoc/Noun.html
@@ -7,7 +7,7 @@
Author: -Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:46 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html b/lib/resource-1.0/doc/gfdoc/ParadigmsFre.html index a4a845881..fac7c6ad0 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: Thu Jan 26 15:05:58 2006 +Last update: Tue Jan 31 18:15:46 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html b/lib/resource-1.0/doc/gfdoc/ParadigmsGer.html index ef6193d51..41835115c 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: Thu Jan 26 15:05:58 2006 +Last update: Tue Jan 31 18:15:46 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html b/lib/resource-1.0/doc/gfdoc/ParadigmsNor.html index ee635400c..cbf699d0c 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: Thu Jan 26 15:05:58 2006 +Last update: Tue Jan 31 18:15:46 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html b/lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html index 9d9e67047..43d6b12a6 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: Thu Jan 26 15:05:58 2006 +Last update: Tue Jan 31 18:15:47 2006
Produced by diff --git a/lib/resource-1.0/doc/gfdoc/Phrase.html b/lib/resource-1.0/doc/gfdoc/Phrase.html index 42508cc86..4dabc3161 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. +
+ ++(c) Aarne Ranta 2003-2006 under Gnu GPL. +
++This library is a derived library built on the language-independent Ground +API of resource grammars. +
+
+ abstract Predication = Cat ** {
+
+
+
++These sentences have both a positive and a negative form +
++ cat + AS ; + + fun + PosAS : AS -> S ; + NegAS : AS -> S ; ++ + +
+ 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" ++ + +
+ appN2 : N2 -> NP -> NP ; -- one-place function: "the successor of x" + appN3 : N3 -> NP -> NP -> NP ; -- two-place function: "the distance from x to y" + appColl : N2 -> NP -> NP -> NP ; -- collective function: "the sum of x and y" ++ + +
+These are expressed by relational nouns applied to arguments. +
++ famN2 : N2 -> NP -> CN ; -- one-place family: "divisor of x" + famN3 : N3 -> NP -> NP -> CN ; -- two-place family: "path from x to y" + famColl : N2 -> NP -> NP -> CN ; -- collective family: "path between x and y" ++ + +
+This is similar to a family except that the argument is a type. +
++ typN2 : N2 -> CN -> CN ; -- constructed type: "list of integers" + + } ++ + + + + diff --git a/lib/resource-1.0/doc/gfdoc/Question.html b/lib/resource-1.0/doc/gfdoc/Question.html index f94ce22c6..5760bb64f 100644 --- a/lib/resource-1.0/doc/gfdoc/Question.html +++ b/lib/resource-1.0/doc/gfdoc/Question.html @@ -7,7 +7,7 @@
- abstract Math = Cat ** {
+ abstract Symbol = Cat ** {
-
fun
- SymbPN : Symb -> PN ; -- x
- IntPN : Int -> PN ; -- 27
- CNIntNP : CN -> Int -> NP ; -- level 53
- CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y
+ SymbPN : Symb -> PN ; -- x
+ IntPN : Int -> PN ; -- 27
+ FloatPN : Float -> PN ; -- 3.14159
+ CNIntNP : CN -> Int -> NP ; -- level 53
+ CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y
@@ -70,5 +71,5 @@ This produces x, y and z, in English.
-
+