summaryrefslogtreecommitdiff
path: root/next-lib/src/abstract/Backward.gf
blob: 458fb30105e9ab69767f2d9fc4a57b81c6a776e9 (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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
--1 Obsolete constructs included for backward-compatibility

abstract Backward = Cat ** {


-- from Cat 

cat 
    Slash ;
   
fun

-- from Verb 19/4/2008

    ComplV2  : V2  -> NP -> VP ;        -- use it
    ComplV3  : V3  -> NP -> NP -> VP ;  -- send a message to her
    ComplV2V : V2V -> NP -> VP -> VP ;  -- cause it to burn
    ComplV2S : V2S -> NP -> S  -> VP ;  -- tell me that it rains
    ComplV2Q : V2Q -> NP -> QS -> VP ;  -- ask me who came
    ComplV2A : V2A -> NP -> AP -> VP ;  -- paint it red

    ReflV2   : V2 -> VP ;         -- use itself

    UseVQ   : VQ -> V2 ;                -- ask (a question)
    UseVS   : VS -> V2 ;                -- know (a secret)


-- from Sentence 19/4/2008

    SlashV2   : NP -> V2 -> Slash ;         -- (whom) he sees
    SlashVVV2 : NP -> VV -> V2 -> Slash;    -- (whom) he wants to see 

-- from Noun 19/4/2008

    NumInt     : Int -> Num ;     -- 51
    OrdInt     : Int -> Ord ;     -- 51st (DEPRECATED)
    NoOrd : Ord ;

    -- 20/4
    DetSg : Quant ->        Ord -> Det ;  -- the best man
    DetPl : Quant -> Num -> Ord -> Det ;  -- the five best men
    NoNum : Num ;

    -- 22/4
    DefArt   : Quant ;       -- the (house), the (houses)
    IndefArt : Quant ;       -- a (house), (houses)
    MassDet  : Quant ;       -- (beer)

-- from Structural 19/4/2008

    that_NP : NP ;
    these_NP : NP ;
    this_NP : NP ;
    those_NP : NP ;

    whichPl_IDet : IDet ;
    whichSg_IDet : IDet ;

-- from Adverb

    AdvSC : SC -> Adv ;     -- that he arrives ---- REMOVE?

}