Toward Completely Integrated Parsing and Inferencing