1
0
forked from GitHub/gf-rgl

double negation in ComplVV

This commit is contained in:
Krasimir Angelov
2018-07-10 11:22:54 +02:00
parent 112aea1efc
commit e5c523e480

View File

@@ -34,7 +34,7 @@ concrete VerbBul of Verb = CatBul ** open Prelude, ResBul, ParadigmsBul in {
ComplVV vv vp = ComplVV vv vp =
insertObj (case vv.typ of { insertObj (case vv.typ of {
VVInf asp => daComplex Simul Pos vp ! asp; VVInf asp => daComplex Simul vp.p vp ! asp;
VVGerund => gerund vp ! Imperf VVGerund => gerund vp ! Imperf
}) vp.p }) vp.p
(predV vv) ; (predV vv) ;