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

# Symbolic expressions

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

      abstract Symbol = Cat, PredefAbs ** {

## Noun phrases with symbols and numbers

      fun

        SymbPN   : Symb -> PN ;                -- x
        IntPN    : Int -> PN ;                 -- 27
        FloatPN  : Float -> PN ;               -- 3.14159
        NumPN    : Card -> PN ;
        CNNumNP  : CN -> Card -> 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 -> Card ;              -- 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)

      }