added Extend.ComplBareVS

This commit is contained in:
Krasimir Angelov
2018-06-07 12:02:26 +02:00
parent ca6fbbbfca
commit 4cb024fdb8

View File

@@ -104,6 +104,9 @@ lin
s = \\a => conj.s++(linCoordSep [])!conj.distr!conj.conj++vps.s!conj.distr!conj.conj!a;
} ;
lin
ComplBareVS = ComplVS ;
lincat
RNP = {s : Role => Str; a : Agr; p : Polarity} ;