examples/logic/LexTheory.gf


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

interface LexTheory = open Grammar in {

  oper
    assume_VS : VS ;
    case_N : N ;
    contradiction_N : N ;
    have_V2 : V2 ;
    hypothesis_N : N ;
    ifthen_DConj : DConj ;

    defNP : Str -> NP ;

}