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