examples/model/MathI.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

incomplete concrete MathI of Math = 
  open Grammar, Combinators, Predication, Lex in {

  flags startcat = Prop ;

  lincat 
    Prop = S ;
    Elem = NP ;

  lin 
    And x y = coord and_Conj x y ;
    Even x = PosCl (pred even_A x) ;
    Odd x = PosCl (pred odd_A x) ;
    Zero = UsePN zero_PN ;

}