concrete PredicationIta of Predication = CatIta ** PredicationI with
  (Syntax = SyntaxIta),
  (Lang = LangIta) ;