path: root/old-lib/resource/mathematical/PredicationSwe.gf

concrete PredicationSwe of Predication = CatSwe ** PredicationI with
  (Syntax = SyntaxSwe),
  (Lang = LangSwe) ;