1
0
forked from GitHub/gf-rgl

(Eng) uncontracted form for standalone VPS

This commit is contained in:
Inari Listenmaa
2023-02-08 11:32:47 +08:00
parent a6faaeb351
commit c6f6a749b5

View File

@@ -191,7 +191,7 @@ concrete ExtendEng of Extend =
inf = verb.adv ++ vp.ad ! a ++ verb.fin ++ verb.inf ++ vp.p ++ compl} ;
} ;
linVPS : Agr -> {s : Order => Agr => {fin,inf : Str}} -> Str = \agr,vps -> let vpss = vps.s ! ODir True ! agr in vpss.fin ++ vpss.inf ;
linVPS : Agr -> {s : Order => Agr => {fin,inf : Str}} -> Str = \agr,vps -> let vpss = vps.s ! ODir False ! agr in vpss.fin ++ vpss.inf ;
mkVPI : VP -> VPI = \vp -> lin VPI {
s = table {