Synthesis of Conversion Rules by Expanding Knowledge Representation