Describir: A Logic Programming Environment for Document Semantics and Inference.