remove shall_VV

This commit is contained in:
Meowyam
2023-02-22 13:35:09 +08:00
parent 23afeee87c
commit f53078dbad
3 changed files with 8 additions and 7 deletions

View File

@@ -34,9 +34,12 @@ lincat
[S] = {s1,s2 : Str} ;
lin
BaseAdv, BaseAdV, BaseIAdv, BaseS = twoSS ;
ConsAdv, ConsAdV, ConsIAdv, ConsS = consrSS comma ;
ConjAdv, ConjAdV, ConjIAdv, ConjS = conjunctDistrSS ;
BaseAdv, BaseAdV, BaseIAdv = twoSS ;
ConsAdv, ConsAdV, ConsIAdv = consrSS comma ;
ConjAdv, ConjAdV, ConjIAdv = conjunctDistrSS ;
BaseS = twoSS ;
ConsS = consrSS comma ;
ConjS = conjunctDistrSS ;
{-