From ccade775b768b48350e7194386c093c8511b386c Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 31 Jan 2006 17:17:19 +0000 Subject: [PATCH] documenting math --- lib/resource-1.0/doc/gfdoc/Adjective.html | 2 +- lib/resource-1.0/doc/gfdoc/Adverb.html | 2 +- lib/resource-1.0/doc/gfdoc/Cat.html | 2 +- lib/resource-1.0/doc/gfdoc/Conjunction.html | 2 +- lib/resource-1.0/doc/gfdoc/Demonstrative.html | 153 ++++++++++++++++++ lib/resource-1.0/doc/gfdoc/Lang.html | 2 +- lib/resource-1.0/doc/gfdoc/Mathematical.html | 77 +++++++++ lib/resource-1.0/doc/gfdoc/Multimodal.html | 59 +++++++ lib/resource-1.0/doc/gfdoc/Noun.html | 2 +- lib/resource-1.0/doc/gfdoc/Numeral.html | 2 +- lib/resource-1.0/doc/gfdoc/ParadigmsEng.html | 2 +- lib/resource-1.0/doc/gfdoc/ParadigmsFre.html | 2 +- lib/resource-1.0/doc/gfdoc/ParadigmsGer.html | 2 +- lib/resource-1.0/doc/gfdoc/ParadigmsNor.html | 2 +- lib/resource-1.0/doc/gfdoc/ParadigmsSwe.html | 2 +- lib/resource-1.0/doc/gfdoc/Phrase.html | 2 +- lib/resource-1.0/doc/gfdoc/Predication.html | 113 +++++++++++++ lib/resource-1.0/doc/gfdoc/Question.html | 2 +- lib/resource-1.0/doc/gfdoc/Relative.html | 2 +- lib/resource-1.0/doc/gfdoc/Sentence.html | 2 +- lib/resource-1.0/doc/gfdoc/Structural.html | 2 +- .../doc/gfdoc/{Math.html => Symbol.html} | 19 +-- lib/resource-1.0/doc/gfdoc/Tense.html | 2 +- lib/resource-1.0/doc/gfdoc/Tensed.html | 72 --------- lib/resource-1.0/doc/gfdoc/Test.html | 60 ------- lib/resource-1.0/doc/gfdoc/Untensed.html | 49 ------ lib/resource-1.0/doc/gfdoc/Verb.html | 2 +- lib/resource-1.0/doc/index.txt | 12 ++ 28 files changed, 443 insertions(+), 209 deletions(-) create mode 100644 lib/resource-1.0/doc/gfdoc/Demonstrative.html create mode 100644 lib/resource-1.0/doc/gfdoc/Mathematical.html create mode 100644 lib/resource-1.0/doc/gfdoc/Multimodal.html create mode 100644 lib/resource-1.0/doc/gfdoc/Predication.html rename lib/resource-1.0/doc/gfdoc/{Math.html => Symbol.html} (70%) delete mode 100644 lib/resource-1.0/doc/gfdoc/Tensed.html delete mode 100644 lib/resource-1.0/doc/gfdoc/Test.html delete mode 100644 lib/resource-1.0/doc/gfdoc/Untensed.html diff --git a/lib/resource-1.0/doc/gfdoc/Adjective.html b/lib/resource-1.0/doc/gfdoc/Adjective.html index 1d7fd2b13..d2f034436 100644 --- a/lib/resource-1.0/doc/gfdoc/Adjective.html +++ b/lib/resource-1.0/doc/gfdoc/Adjective.html @@ -7,7 +7,7 @@

Adjectives and adjectival phrases

Author:
-Last update: Thu Jan 26 15:05:55 2006 +Last update: Tue Jan 31 18:15:43 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Adverb.html b/lib/resource-1.0/doc/gfdoc/Adverb.html index e1bfa34c9..5bb5bf444 100644 --- a/lib/resource-1.0/doc/gfdoc/Adverb.html +++ b/lib/resource-1.0/doc/gfdoc/Adverb.html @@ -7,7 +7,7 @@

Adverbs and adverbial phrases

Author:
-Last update: Thu Jan 26 15:05:55 2006 +Last update: Tue Jan 31 18:15:44 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Cat.html b/lib/resource-1.0/doc/gfdoc/Cat.html index bc2cf5e1c..2b55c5259 100644 --- a/lib/resource-1.0/doc/gfdoc/Cat.html +++ b/lib/resource-1.0/doc/gfdoc/Cat.html @@ -7,7 +7,7 @@

The category system

Author:
-Last update: Thu Jan 26 15:05:55 2006 +Last update: Tue Jan 31 18:15:44 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Conjunction.html b/lib/resource-1.0/doc/gfdoc/Conjunction.html index bdd7b5a39..bf6cb2041 100644 --- a/lib/resource-1.0/doc/gfdoc/Conjunction.html +++ b/lib/resource-1.0/doc/gfdoc/Conjunction.html @@ -7,7 +7,7 @@

Coordination

Author:
-Last update: Thu Jan 26 15:05:55 2006 +Last update: Tue Jan 31 18:15:44 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Demonstrative.html b/lib/resource-1.0/doc/gfdoc/Demonstrative.html new file mode 100644 index 000000000..7b038154a --- /dev/null +++ b/lib/resource-1.0/doc/gfdoc/Demonstrative.html @@ -0,0 +1,153 @@ + + + + + + + + +

+
+

+

+
+

+

+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 @@

The Main Module of the Resource Grammar

Author:
-Last update: Thu Jan 26 15:05:56 2006 +Last update: Tue Jan 31 18:15:44 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Mathematical.html b/lib/resource-1.0/doc/gfdoc/Mathematical.html new file mode 100644 index 000000000..6d6cf445d --- /dev/null +++ b/lib/resource-1.0/doc/gfdoc/Mathematical.html @@ -0,0 +1,77 @@ + + + + + The Mathematics API to the Resource Grammar + +

The Mathematics API to the Resource Grammar

+ +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. +

+ +

The Mathematics API to the Resource Grammar

+

+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 @@

The construction of nouns, noun phrases, and determiners

Author:
-Last update: Thu Jan 26 15:05:56 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Numeral.html b/lib/resource-1.0/doc/gfdoc/Numeral.html index 9e5f988dd..843e43f74 100644 --- a/lib/resource-1.0/doc/gfdoc/Numeral.html +++ b/lib/resource-1.0/doc/gfdoc/Numeral.html @@ -7,7 +7,7 @@

Numerals

Author:
-Last update: Thu Jan 26 15:05:56 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/ParadigmsEng.html b/lib/resource-1.0/doc/gfdoc/ParadigmsEng.html index acf4e99cc..169f3375b 100644 --- a/lib/resource-1.0/doc/gfdoc/ParadigmsEng.html +++ b/lib/resource-1.0/doc/gfdoc/ParadigmsEng.html @@ -43,7 +43,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 @@

Phrases and utterances

Author:
-Last update: Thu Jan 26 15:05:56 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Predication.html b/lib/resource-1.0/doc/gfdoc/Predication.html new file mode 100644 index 000000000..a5171db6a --- /dev/null +++ b/lib/resource-1.0/doc/gfdoc/Predication.html @@ -0,0 +1,113 @@ + + + + + A Small Predication Library + +

A Small Predication Library

+ +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. +

+ +

A Small Predication Library

+

+(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 ** {
+
+

+ +

The category of atomic sentences

+

+These sentences have both a positive and a negative form +

+
+    cat
+      AS ;
+    
+    fun
+      PosAS : AS -> S ;
+      NegAS : AS -> S ;
+
+

+ +

Predication patterns.

+
+      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"
+
+

+ +

Individual-valued function applications

+
+      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"
+
+

+ +

Families of types

+

+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"
+
+

+ +

Type constructor

+

+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 @@

Questions and interrogative pronouns

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Relative.html b/lib/resource-1.0/doc/gfdoc/Relative.html index f6a073426..311018183 100644 --- a/lib/resource-1.0/doc/gfdoc/Relative.html +++ b/lib/resource-1.0/doc/gfdoc/Relative.html @@ -7,7 +7,7 @@

Relative clauses and pronouns

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Sentence.html b/lib/resource-1.0/doc/gfdoc/Sentence.html index d9f4046da..34a4550ed 100644 --- a/lib/resource-1.0/doc/gfdoc/Sentence.html +++ b/lib/resource-1.0/doc/gfdoc/Sentence.html @@ -7,7 +7,7 @@

Sentences, clauses, imperatives, and sentential complements

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Structural.html b/lib/resource-1.0/doc/gfdoc/Structural.html index 407d46070..e64890871 100644 --- a/lib/resource-1.0/doc/gfdoc/Structural.html +++ b/lib/resource-1.0/doc/gfdoc/Structural.html @@ -7,7 +7,7 @@

GF Resource Grammar API for Structural Words

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:45 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Math.html b/lib/resource-1.0/doc/gfdoc/Symbol.html similarity index 70% rename from lib/resource-1.0/doc/gfdoc/Math.html rename to lib/resource-1.0/doc/gfdoc/Symbol.html index 7938017fe..28f0ccbbe 100644 --- a/lib/resource-1.0/doc/gfdoc/Math.html +++ b/lib/resource-1.0/doc/gfdoc/Symbol.html @@ -7,7 +7,7 @@

Symbolic expressions

Author:
-Last update: Thu Jan 26 15:05:56 2006 +Last update: Tue Jan 31 18:15:47 2006

@@ -16,7 +16,7 @@ Last update: Thu Jan 26 15:05:56 2006 @@ -36,18 +36,19 @@ gfdoc - a rudimentary GF document generator. grammar Lang. 

-    abstract Math = Cat ** {
+    abstract Symbol = Cat ** {

-

Noun phrases with symbols

+

Noun phrases with symbols and numbers

     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.

- + diff --git a/lib/resource-1.0/doc/gfdoc/Tense.html b/lib/resource-1.0/doc/gfdoc/Tense.html index 00ccf53e3..76125f2f2 100644 --- a/lib/resource-1.0/doc/gfdoc/Tense.html +++ b/lib/resource-1.0/doc/gfdoc/Tense.html @@ -7,7 +7,7 @@

Tense, Polarity, and Anteriority

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:46 2006

diff --git a/lib/resource-1.0/doc/gfdoc/Tensed.html b/lib/resource-1.0/doc/gfdoc/Tensed.html deleted file mode 100644 index 7103339a7..000000000 --- a/lib/resource-1.0/doc/gfdoc/Tensed.html +++ /dev/null @@ -1,72 +0,0 @@ - - - - - Tensed forms of sentences, questions, and relative clauses - -

Tensed forms of sentences, questions, and relative clauses

- -Author:
-Last update: Wed Jan 25 10:50:14 2006 -
- -

-
-

- - -

-
-

-

-Produced by -gfdoc - a rudimentary GF document generator. -(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. -

- -

Tensed forms of sentences, questions, and relative clauses

-

-This module defines the 2 x 4 x 4 = 16 forms generated by different -combinations of tense, polarity, and -anteriority, which are defined in Tense. -A variant with just the polarity variation is given in -Untensed. -

-
-    abstract Tensed = Cat, Tense ** {
-    
-      fun
-        UseCl  : Tense -> Ant -> Pol -> Cl  -> S ;
-        UseQCl : Tense -> Ant -> Pol -> QCl -> QS ;
-        UseRCl : Tense -> Ant -> Pol -> RCl -> RS ;
-    
-    }
-
-

-

-Examples for English S: -

-

-Pres Simul Pos ODir : he sleeps -Pres Simul Neg ODir : he doesn't sleep -Pres Anter Pos ODir : he has slept -Pres Anter Neg ODir : he hasn't slept -Past Simul Pos ODir : he slept -Past Simul Neg ODir : he didn't sleep -Past Anter Pos ODir : he had slept -Past Anter Neg ODir : he hadn't slept -Fut Simul Pos ODir : he will sleep -Fut Simul Neg ODir : he won't sleep -Fut Anter Pos ODir : he will have slept -Fut Anter Neg ODir : he won't have slept -Cond Simul Pos ODir : he would sleep -Cond Simul Neg ODir : he wouldn't sleep -Cond Anter Pos ODir : he would have slept -Cond Anter Neg ODir : he wouldn't have slept -

- - - - diff --git a/lib/resource-1.0/doc/gfdoc/Test.html b/lib/resource-1.0/doc/gfdoc/Test.html deleted file mode 100644 index caf8c1a02..000000000 --- a/lib/resource-1.0/doc/gfdoc/Test.html +++ /dev/null @@ -1,60 +0,0 @@ - - - - - The Reduced Top Module of the Resource Grammar - -

The Reduced Top Module of the Resource Grammar

- -Author:
-Last update: Fri Jan 20 18:01:40 2006 -
- -

-
-

- - -

-
-

-

-Produced by -gfdoc - a rudimentary GF document generator. -(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. -

- -

The Reduced Top Module of the Resource Grammar

-

-This grammar is just a collection of the different modules, -and one that can be imported when one wants to test a reduced version -of the grammar. The complete top module is Lang. -The main constructs missing are tenses of sentences, numerals, and -comprehensive lexicon. -

-
-    abstract Test = 
-      Noun,
-      Verb, 
-      Adjective,
-      Adverb,
-      Sentence, 
-      Question,
-      Relative,
-      Conjunction,
-      Phrase,
-      Untensed, 
-      -- Tensed,
-      -- Structural,
-      -- Basic,
-      -- Numeral,
-      Lex 
-      ** {} ;
-
-

- - - - diff --git a/lib/resource-1.0/doc/gfdoc/Untensed.html b/lib/resource-1.0/doc/gfdoc/Untensed.html deleted file mode 100644 index f655b33cc..000000000 --- a/lib/resource-1.0/doc/gfdoc/Untensed.html +++ /dev/null @@ -1,49 +0,0 @@ - - - - - Untensed forms of sentences, questions, and relative clauses - -

Untensed forms of sentences, questions, and relative clauses

- -Author:
-Last update: Fri Jan 20 18:01:40 2006 -
- -

-
-

- - -

-
-

-

-Produced by -gfdoc - a rudimentary GF document generator. -(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. -

- -

Untensed forms of sentences, questions, and relative clauses

-

-This module defines just positive and negative present tense forms. -Am alternative with full variation in polarity, tense, and anteriority is -given in Untensed. -

-
-    abstract Untensed = Cat ** {
-    
-      fun
-        PosCl,  NegCl  : Cl  -> S ;
-        PosQCl, NegQCl : QCl -> QS ;
-        PosRCl, NegRCl : RCl -> RS ;
-    
-    }
-
-

- - - - diff --git a/lib/resource-1.0/doc/gfdoc/Verb.html b/lib/resource-1.0/doc/gfdoc/Verb.html index d60994238..84d694e91 100644 --- a/lib/resource-1.0/doc/gfdoc/Verb.html +++ b/lib/resource-1.0/doc/gfdoc/Verb.html @@ -7,7 +7,7 @@

The construction of verb phrases

Author:
-Last update: Thu Jan 26 15:05:57 2006 +Last update: Tue Jan 31 18:15:46 2006

diff --git a/lib/resource-1.0/doc/index.txt b/lib/resource-1.0/doc/index.txt index f9c0a8e99..8cf52b810 100644 --- a/lib/resource-1.0/doc/index.txt +++ b/lib/resource-1.0/doc/index.txt @@ -63,3 +63,15 @@ The documentation of the individual modules: ==Special-purpose APIs== +===Multimodal=== + +- [Multimodal gfdoc/Multimodal.html]: main module for multimodal dialogue systems +- [Demonstrative gfdoc/Demonstrative.html]: demonstrative noun phrases and adverbs + + +===Mathematical=== + +- [Mathematical gfdoc/Mathematical.html]: main module for mathematical language +- [Predication gfdoc/Predication.html]: predication with verbs, adjectives, etc +- [Symbol gfdoc/Symbol.html]: symbols and numbers in text +