Semantic Representation and Formal Transformation Semantic Representation and Formal Transformation kevin knight usc/isi MURI meeting, CMU, Nov 3-4, 2011 Machine Translation…