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

concrete PredicationGer of Predication = CatGer ** PredicationI with
  (Syntax = SyntaxGer),
  (Lang = LangGer) ;