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 help of connectionist black-boxes that act as oracles, but the entire system should not be a black box.