Parsing-driven Inference: Natural Logic