concrete ClauseAra of Clause = CatAra ** ClauseI
  with (Grammar = GrammarAra) ;