summaryrefslogtreecommitdiff
path: root/examples/attempto/LexAttempto.gf
blob: 7bfa593d375d655c3d869da8680e3b4c4f51f6a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
interface LexAttempto = open Syntax in {

oper
  possible_A : A ;
  necessary_A : A ;
  own_A : A ;
  have_VV : VV ;
  provably_Adv : Adv ;
  provable_A : A ;
  false_A : A ;
  such_A : A ;

  genitiveNP : NP -> CN -> NP ;

--  m_Unit : Unit ;
--  l_Unit : Unit ;
--  kg_Unit : Unit ;

  each_Det : Det ;
  that_Subj : Subj ;

  comma_and_Conj : Conj ;
  comma_or_Conj : Conj ;

}