next-lib/src/demo/Clause.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

abstract Clause = Cat ** {

fun 
  PredV   : NP -> V -> Cl ;
  PredV2  : NP -> V2 -> NP -> Cl ;
  PredAP  : NP -> AP -> Cl ;
  PredAdv : NP -> Adv -> Cl ;

  UseCl   : Temp -> Pol -> Cl  -> S ;

  QuestV  : IP -> V -> QCl ;
  QuestV2 : IP -> V2 -> NP -> QCl ;
--  QuestV2Slash : IP -> NP -> V2 -> QCl ;

  UseQCl  : Temp -> Pol -> QCl -> QS ;

  ImpV   : V -> Imp ;
--  ImpV2  : V2 -> NP -> Imp ;


}