diff --git a/lib/resource-1.0/api/Symbolic.gf b/lib/resource-1.0/api/Symbolic.gf new file mode 100644 index 000000000..cf7681df2 --- /dev/null +++ b/lib/resource-1.0/api/Symbolic.gf @@ -0,0 +1,37 @@ +incomplete resource Symbolic = open Symbol, Grammar in { + + oper + symb : overload { + symb : Str -> NP ; -- x + symb : Int -> NP ; -- 23 + symb : Float -> NP ; -- 0.99 + symb : N -> Int -> NP ; -- level 4 + symb : CN -> Num -> NP ; -- level four + symb : Det -> N -> Str -> Str -> NP ; -- the levels i and j + symb : Det -> CN -> [Symb] -> NP -- the basic levels i, j, and k + } ; + + mkSymb : Str -> Symb ; + +--. + + symb = overload { + symb : Str -> NP + = \s -> UsePN (SymbPN (mkSymb s)) ; + symb : Int -> NP + = \i -> UsePN (IntPN i) ; + symb : Float -> NP + = \i -> UsePN (FloatPN i) ; + symb : N -> Int -> NP + = \c,i -> CNNumNP (UseN c) (NumInt i) ; + symb : CN -> Num -> NP + = \c,n -> CNNumNP c n ; + symb : Det -> N -> Str -> Str -> NP + = \c,n,x,y -> CNSymbNP c (UseN n) (BaseSymb (mkSymb x) (mkSymb y)) ; + symb : Det -> CN -> [Symb] -> NP + = CNSymbNP + } ; + + mkSymb : Str -> Symb = \s -> {s = s ; lock_Symb = <>} ; + +} diff --git a/lib/resource-1.0/api/SymbolicEng.gf b/lib/resource-1.0/api/SymbolicEng.gf new file mode 100644 index 000000000..90e303177 --- /dev/null +++ b/lib/resource-1.0/api/SymbolicEng.gf @@ -0,0 +1,5 @@ +--# -path=.:../abstract:../common:../english:../mathematical:prelude + +resource SymbolicEng = Symbolic with + (Symbol = SymbolEng), + (Grammar = GrammarEng) ;