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

concrete PredicationSpa of Predication = CatSpa ** PredicationI with
  (Syntax = SyntaxSpa),
  (Lang = LangSpa) ;