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

concrete PredicationEng of Predication = CatEng ** PredicationI with
  (Syntax = SyntaxEng),
  (Lang = LangEng) ;