rename triples production rules