integrated inference parser in inference kb