# Symbolic expressions

Last update: 2006-03-17 12:02:40 CET

- Noun phrases with symbols and numbers
- Sentence consisting of a formula
- Symbol lists

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
          CNIntNP  : CN -> Int -> NP ;           -- level 53
          CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y

## Sentence consisting of a formula

          SymbS    : Symb -> S ;                 -- A

## 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 ;

        }