diff --git a/src/zulu/CatExtZul.gf b/src/zulu/CatExtZul.gf index d4a02deb..be268c33 100755 --- a/src/zulu/CatExtZul.gf +++ b/src/zulu/CatExtZul.gf @@ -11,5 +11,6 @@ concrete CatExtZul of CatExt = open ResZul,Prelude,ParamX in { -- INAdv = { s : Str ; postIAdv : Bool } ; Postdet = { s : Agr => Str } ; + SubCl = { s : Polarity => BasicTense => Str } ; } diff --git a/src/zulu/abstract_ext/CatExt.gf b/src/zulu/abstract_ext/CatExt.gf index 7a0e043a..fa73b8a2 100755 --- a/src/zulu/abstract_ext/CatExt.gf +++ b/src/zulu/abstract_ext/CatExt.gf @@ -11,5 +11,6 @@ abstract CatExt = { -- INAdv ; -- which/-phi? Postdet ; + SubCl ; }