Integrated framework for natural language processing with logical inference.