1
0
forked from GitHub/gf-rgl

incompleteness warning and PNeg in CheckGrammar

This commit is contained in:
aarne
2006-01-16 09:47:08 +00:00
parent be6ca33f5d
commit 96465414bf

View File

@@ -316,5 +316,21 @@ oper
in in
mkV singen singt sing sang saenge gesungen ; mkV singen singt sing sang saenge gesungen ;
V0 : Type = V ;
V2S, V2V, V2Q, V2A : Type = V2 ;
AS, A2S, AV : Type = A ;
A2V : Type = A2 ;
mkV0 v = v ** {lock_V = <>} ;
mkV2S v p = mkV2 v p ** {lock_V2 = <>} ;
mkV2V v p t = mkV2 v p ** {s4 = t ; lock_V2 = <>} ;
mkVA v = v ** {lock_VA = <>} ;
mkV2A v p = mkV2 v p ** {lock_V2A = <>} ;
mkV2Q v p = mkV2 v p ** {lock_V2 = <>} ;
mkAS v = v ** {lock_A = <>} ;
mkA2S v p = mkA2 v p ** {lock_A = <>} ;
mkAV v = v ** {lock_A = <>} ;
mkA2V v p = mkA2 v p ** {lock_A2 = <>} ;
} ; } ;