VS category and some of its constructors

This commit is contained in:
krasimir
2008-02-22 14:56:35 +00:00
parent dd8331ce2b
commit 99df330e35
3 changed files with 11 additions and 1 deletions

View File

@@ -81,7 +81,8 @@ oper
dirV3 : V -> Prep -> V3 ; -- give,_,to
dirdirV3 : V -> V3 ; -- give,_,_
mkVS : V -> VS ;
mkPN : Str -> Gender -> PN ;
@@ -97,6 +98,8 @@ oper
dirV3 v p = mkV3 v noPrep p ;
dirdirV3 v = dirV3 v noPrep ;
mkVS v = v ** {lock_VS = <>} ;
mkPN s g = {s = s; g = g ; lock_PN = <>} ;
}