1
0
forked from GitHub/gf-rgl

(Chi) add de after RelVPS

This commit is contained in:
Inari Listenmaa
2023-05-25 11:23:45 +02:00
parent a66d15a0ea
commit ccdb58de21

View File

@@ -44,7 +44,7 @@ concrete ExtendChi of Extend = CatChi **
-- QuestVPS ip vps = -- TODO: probably need to change structure of VPS -- QuestVPS ip vps = -- TODO: probably need to change structure of VPS
-- : RP -> VPS -> RS ; -- which won't sleep -- : RP -> VPS -> RS ; -- which won't sleep
RelVPS rp vps = {s = rp.s ! True ++ vps.s} ; RelVPS rp vps = {s = rp.s ! True ++ vps.s ++ "的"} ;
MkVPI vp = {s = (mkClause [] vp).s ! Pos ! APlain} ; MkVPI vp = {s = (mkClause [] vp).s ! Pos ! APlain} ;
ConjVPI c = conjunctDistrSS (c.s ! CSent) ; ConjVPI c = conjunctDistrSS (c.s ! CSent) ;