concrete ClauseFin of Clause = CatFin ** ClauseI with (Grammar = GrammarFin) ;