A Small Predication Library

• The category of atomic sentences
• Predication patterns.
• Imperatives and infinitives.
• Individual-valued function applications
• Families of types
• Type constructor

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

The category of atomic sentences

We want to use sentences in positive and negative forms but do not care about tenses.

    fun
      PosCl     : Cl -> S ;                -- positive sentence:   "x intersects y"
      NegCl     : Cl -> S ;                -- negative sentence:   "x doesn't intersect y"

Predication patterns.

      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"

Imperatives and infinitives.

      impV2     : V2 -> NP -> Phr ;        -- imperative:          "solve the equation E"
      infV2     : V2 -> NP -> Phr ;        -- infinitive:          "to solve the equation E"

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