# Symbolic expressions

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

- Noun phrases with symbols and numbers
- Sentence consisting of a formula
- Symbols as numerals
- Symbol lists
- Obsolescent

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)

        }