translate triples