semantic parser and partial rewriting exp
proofing, untested