fix compilation for Present

This commit is contained in:
Krasimir Angelov
2026-10-02 09:24:00 +02:00
parent ff44a1050c
commit 4e1c1e6fe1
+6 -8
View File
@@ -1,5 +1,3 @@
--# -path=alltenses:../common:../abstract
concrete ExtendDut of Extend = concrete ExtendDut of Extend =
CatDut ** ExtendFunctor CatDut ** ExtendFunctor
- [PastPartAP,PastPartAgentAP,PresPartAP,ProgrVPSlash,ICompAP,IAdvAdv, - [PastPartAP,PastPartAgentAP,PresPartAP,ProgrVPSlash,ICompAP,IAdvAdv,
@@ -41,12 +39,12 @@ lin
isPre = notB vp.isHeavy isPre = notB vp.isHeavy
} ; } ;
PastPartAgentAP vp np = { PastPartAgentAP vp np = { --# notpresent
s = \\agr,af => s = \\agr,af => --# notpresent
(infClause [] agr vp APred).s ! Past ! Anter ! Pos ! Sub ++ (infClause [] agr vp APred).s ! Past ! Anter ! Pos ! Sub ++ --# notpresent
"door" ++ np.s ! NPAcc ; "door" ++ np.s ! NPAcc ; --# notpresent
isPre = False isPre = False --# notpresent
} ; } ; --# notpresent
ProgrVPSlash vp = ProgrVPSlash vp =
let vpi = infVP True vp in let vpi = infVP True vp in