forked from GitHub/gf-rgl
improve the API for prepositions
This commit is contained in:
@@ -265,9 +265,15 @@ oper
|
|||||||
-- A preposition as used for rection in the lexicon, as well as to
|
-- A preposition as used for rection in the lexicon, as well as to
|
||||||
-- build $PP$s in the resource API, just requires a string.
|
-- build $PP$s in the resource API, just requires a string.
|
||||||
|
|
||||||
mkPrep : Str -> Case -> Prep = \p,c -> {s = p; c = c; lock_Prep = <>} ;
|
mkPrep = overload {
|
||||||
noPrep : Prep = mkPrep [] Acc ;
|
mkPrep : Str -> Prep =
|
||||||
|
\p -> {s = p; c = Acc; lock_Prep = <>} ;
|
||||||
|
mkPrep : Str -> Case -> Prep =
|
||||||
|
\p,c -> {s = p; c = c; lock_Prep = <>}
|
||||||
|
} ;
|
||||||
|
|
||||||
|
noPrep : Prep = mkPrep [] Acc ;
|
||||||
|
dat_Prep : Prep = mkPrep [] Dat ;
|
||||||
|
|
||||||
--2 Proper Names
|
--2 Proper Names
|
||||||
--
|
--
|
||||||
|
|||||||
Reference in New Issue
Block a user