(Extend) Add ReflVPS2 function

This commit is contained in:
Inari Listenmaa
2021-03-03 15:05:57 +08:00
parent 8696b27bee
commit 891bd2f3b1
4 changed files with 10 additions and 3 deletions

View File

@@ -69,6 +69,7 @@ abstract Extend = Cat ** {
MkVPS2 : Temp -> Pol -> VPSlash -> VPS2 ; -- has loved
ConjVPS2 : Conj -> [VPS2] -> VPS2 ; -- has loved and now hates
ComplVPS2 : VPS2 -> NP -> VPS ; -- has loved and now hates that person
ReflVPS2 : VPS2 -> RNP -> VPS ; -- have loved and now hate myself and my car
MkVPI2 : VPSlash -> VPI2 ; -- to love
ConjVPI2 : Conj -> [VPI2] -> VPI2 ; -- to love and hate