forked from GitHub/gf-core
Added some more versions of symb: symb : N -> Num -> NP, symb : Det -> N -> Num -> NP and symb : Det -> CN -> Num -> NP. The latter two use ApposCN instead of CNNumNP. I suspect that we could get rid of CNNumNP and friends altogether and use ApposCN + NumPN instead.
This commit is contained in:
@@ -8,7 +8,10 @@ incomplete resource Symbolic = open Symbol, Grammar in {
|
||||
symb : Int -> NP ; -- 23
|
||||
symb : Float -> NP ; -- 0.99
|
||||
symb : N -> Int -> NP ; -- level 4
|
||||
symb : CN -> Num -> NP ; -- level four
|
||||
symb : N -> Num -> NP ; -- level four
|
||||
symb : CN -> Num -> NP ; -- difficult level four
|
||||
symb : Det -> N -> Num -> NP ; -- the number four
|
||||
symb : Det -> CN -> Num -> NP ; -- the even number four
|
||||
symb : Det -> N -> Str -> Str -> NP ; -- the levels i and j
|
||||
symb : Det -> CN -> [Symb] -> NP -- the basic levels i, j, and k
|
||||
} ;
|
||||
@@ -26,8 +29,14 @@ incomplete resource Symbolic = open Symbol, Grammar in {
|
||||
= \i -> UsePN (FloatPN i) ;
|
||||
symb : N -> Int -> NP
|
||||
= \c,i -> CNNumNP (UseN c) (NumInt i) ;
|
||||
symb : N -> Num -> NP
|
||||
= \c,n -> CNNumNP (UseN c) n ;
|
||||
symb : CN -> Num -> NP
|
||||
= \c,n -> CNNumNP c n ;
|
||||
symb : Det -> N -> Num -> NP
|
||||
= \d,n,x -> DetCN d (ApposCN (UseN n) (UsePN (NumPN x))) ;
|
||||
symb : Det -> CN -> Num -> NP
|
||||
= \d,n,x -> DetCN d (ApposCN n (UsePN (NumPN x))) ;
|
||||
symb : Det -> N -> Str -> Str -> NP
|
||||
= \c,n,x,y -> CNSymbNP c (UseN n) (BaseSymb (mkSymb x) (mkSymb y)) ;
|
||||
symb : Det -> CN -> [Symb] -> NP
|
||||
|
||||
Reference in New Issue
Block a user