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

concrete PredicationFre of Predication = CatFre ** PredicationI with
  (Syntax = SyntaxFre),
  (Lang = LangFre) ;