added second preposition in V2A

This commit is contained in:
Krasimir Angelov
2018-05-30 15:06:34 +02:00
parent 4bf1c6832e
commit cac0ffb19b
3 changed files with 14 additions and 9 deletions
+7 -2
View File
@@ -128,9 +128,14 @@ oper
mkV2V : V -> Prep -> Prep -> V2V ;
mkV2V v p t = prepV2 v p ** {c3 = t ; lock_V2V = <>} ;
mkV2A : V -> Prep -> V2A ;
mkV2A v p = prepV2 v p ** {lock_V2A = <>} ;
mkV2A = overload {
mkV2A : V -> Prep -> V2A
= \v, p -> prepV2 v p ** {c3 = noPrep ; lock_V2A = <>} ;
mkV2A : V -> Prep -> Prep -> V2A
= \v, p, t -> prepV2 v p ** {c3 = t ; lock_V2A = <>} ;
} ;
mkV2Q : V -> Prep -> Prep -> V2Q ;
mkV2Q v p t = prepV2 v p ** {c3 = t ; lock_V2Q = <>} ;