Knowledge-Guided Linguistic Rewrites for Inference