# A Small Predication Library

Last update: 2006-03-03 17:06:11 CET

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

        }