1
0
forked from GitHub/gf-rgl

added lin FClause

This commit is contained in:
Krasimir Angelov
2023-08-21 15:02:21 +02:00
parent 1961c6ae94
commit 0b52307e91

View File

@@ -330,8 +330,8 @@ concrete ExtraGer of ExtraGerAbs = CatGer **
lin lin
VPass v = VPass v =
let vp = predV werdenPass let vp = predV werdenPass
in vp ** {subj = esSubj ; in lin FClause (vp ** {subj = esSubj ;
inf = vp.inf ** {s = v.s ! VPastPart APred } } ; -- construct the formal clause inf = vp.inf ** {s = v.s ! VPastPart APred } }) ; -- construct the formal clause
AdvFor adv fcl = fcl ** {a2 = adv.s} ; AdvFor adv fcl = fcl ** {a2 = adv.s} ;