Representation and Inference for Natural Language