gf-rgl/next-resource/demo/ClauseAra.gf

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