fixed the linearization for both7and_Conj and either7or_Conj

This commit is contained in:
krasimir
2008-06-13 13:57:50 +00:00
parent 85606ec32b
commit 6080d7f384
5 changed files with 40 additions and 29 deletions

View File

@@ -96,7 +96,7 @@ concrete CatBul of Cat = open ResBul, Prelude, (R = ParamX) in {
-- Structural
Conj = {s1,s2 : Str ; n : Number} ;
Conj = {s : Str; distr : Bool; conj : Bool; n : Number} ;
Subj = {s : Str} ;
Prep = {s : Str; c : Case} ;