1
0
forked from GitHub/gf-rgl

(May) Add dative "prep", direct object "prep" +truly empty emptyPrep

This commit is contained in:
Inari Listenmaa
2020-08-20 11:40:16 +02:00
parent 8208485f48
commit 5b28e621b3
3 changed files with 17 additions and 7 deletions
+4 -4
View File
@@ -93,8 +93,8 @@ oper
mkN2 = overload {
mkN2 : Str -> N2 = \s -> lin N2 (mkNoun s ** {c2 = emptyPrep}) ;
mkN2 : N -> N2 = \n -> lin N2 (n ** {c2 = emptyPrep}) ;
mkN2 : Str -> N2 = \s -> lin N2 (mkNoun s ** {c2 = dirPrep}) ;
mkN2 : N -> N2 = \n -> lin N2 (n ** {c2 = dirPrep}) ;
} ;
-- mkPN = overload {
@@ -110,13 +110,13 @@ oper
} ;
mkV2 = overload {
mkV2 : Str -> V2 = \v2 -> lin V2 (mkVerb2 (mkVerb v2 Meng) emptyPrep) ;
mkV2 : Str -> V2 = \v2 -> lin V2 (mkVerb2 (mkVerb v2 Meng) dirPrep) ;
mkV2 : V -> Prep -> V2 = \v,p -> lin V2 (mkVerb2 v p)
} ;
mkV3 = overload {
mkV3 : V -> V3 = \v ->
lin V3 (mkVerb3 v emptyPrep emptyPrep) ;
lin V3 (mkVerb3 v dirPrep dirPrep) ;
mkV3 : V -> (p,q : Prep) -> V3 = \v,p,q ->
lin V3 (mkVerb3 v p q)
} ;