proofing and semantic parser