diff options
| author | bjorn <bjorn@bringert.net> | 2008-11-07 16:15:53 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-11-07 16:15:53 +0000 |
| commit | 4e921573f4ab33d955f895fcca60436e8b00ee78 (patch) | |
| tree | dac005afe098b0f04da8fa6bbeaa4bdc0b01c16e /next-lib/src/api | |
| parent | f0eed5cd692f416409b3ba08d474a013ec52ffba (diff) | |
Symbolic.symb: overload versions with Quant instead of Det.
Diffstat (limited to 'next-lib/src/api')
| -rw-r--r-- | next-lib/src/api/Symbolic.gf | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/next-lib/src/api/Symbolic.gf b/next-lib/src/api/Symbolic.gf index f901080e6..bcc85e12b 100644 --- a/next-lib/src/api/Symbolic.gf +++ b/next-lib/src/api/Symbolic.gf @@ -14,10 +14,14 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in { symb : Det -> CN -> Card -> NP ; -- the even number at least four symb : N -> Numeral -> NP ; -- level four symb : CN -> Numeral -> NP ; -- advanced level four - symb : Det -> N -> Numeral -> NP ; -- the number four - symb : Det -> CN -> Numeral -> 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 + symb : Det -> N -> Numeral -> NP ; -- the largest number four + symb : Det -> CN -> Numeral -> NP ; -- the largest even number four + symb : Det -> N -> Str -> Str -> NP ; -- the largest levels i and j + symb : Det -> CN -> [Symb] -> NP ; -- the largest basic levels i, j, and k + symb : Quant -> N -> Numeral -> NP ; -- the number four + symb : Quant -> CN -> Numeral -> NP ; -- the even number four + symb : Quant -> N -> Str -> Str -> NP ; -- the levels i and j + symb : Quant -> CN -> [Symb] -> NP ; -- the basic levels i, j, and k symb : Symb -> S ; -- A symb : Symb -> Card ; -- n symb : Symb -> Ord -- n'th @@ -58,6 +62,14 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in { = \c,n,x,y -> CNSymbNP c (UseN n) (BaseSymb (mkSymb x) (mkSymb y)) ; symb : Det -> CN -> [Symb] -> NP = CNSymbNP ; + symb : Quant -> N -> Numeral -> NP + = \d,n,x -> DetCN (DetQuant d NumSg) (ApposCN (UseN n) (UsePN (NumPN (NumNumeral x)))) ; + symb : Quant -> CN -> Numeral -> NP + = \d,n,x -> DetCN (DetQuant d NumSg) (ApposCN n (UsePN (NumPN (NumNumeral x)))) ; + symb : Quant -> N -> Str -> Str -> NP + = \d,n,x,y -> CNSymbNP (DetQuant d NumSg) (UseN n) (BaseSymb (mkSymb x) (mkSymb y)) ; + symb : Quant -> CN -> [Symb] -> NP + = \d -> CNSymbNP (DetQuant d NumSg); symb : Symb -> S = SymbS ; symb : Symb -> Card = SymbNum ; symb : Symb -> Ord = SymbOrd |