IMHO, this type of transformation is best done via traditional symbolic methods that also provide explanations with support, alternate outputs based on context/constraints, etc. It's ok for a symbolic transformation system to have the <i>help</i> of connectionist black-boxes that act as oracles, but the entire <i>system</i> should not be a black box.