RAT proof the generated grammars