next-lib/src/english/ExtraEngAbs.gf


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

abstract ExtraEngAbs = Extra ** {

-- uncontracted negations; contracted are the default
  fun
    UncNegCl  : Temp -> Cl  -> S ;
    UncNegQCl : Temp -> QCl -> QS ;
    UncNegRCl : Temp -> RCl -> RS ;

    UncNegImpSg : Imp -> Utt;           -- do not help yourself
    UncNegImpPl : Imp -> Utt;           -- do not help yourselves

-- freely compounded nouns

    CompoundCN : CN -> CN -> CN ;       -- rock album

}