Symbolic expressions

Last update: 2006-11-23 12:18:08 CET



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

Note. This module is not automatically included in the main grammar Lang.

    abstract Symbol = Cat, PredefAbs ** {

Noun phrases with symbols and numbers

    fun
    
      SymbPN   : Symb -> PN ;                -- x
      IntPN    : Int -> PN ;                 -- 27
      FloatPN  : Float -> PN ;               -- 3.14159
      CNNumNP  : CN -> Num -> NP ;           -- level five ; level 5
      CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y

Sentence consisting of a formula

      SymbS    : Symb -> S ;                 -- A

Symbols as numerals

      SymbNum  : Symb -> Num ;               -- n
      SymbOrd  : Symb -> Ord ;               -- n'th

Symbol lists

A symbol list has at least two elements. The last two are separated by a conjunction (and in English), the others by commas. This produces x, y and z, in English.

    cat
      Symb ;
      [Symb]{2} ;
    
    fun
      MkSymb : String -> Symb ;

Obsolescent

      CNIntNP  : CN -> Int -> NP ;           -- level 53 (covered by CNNumNP)
    
    }