Higher-order logical inference with compositional semantics - Citation Graph | Papersgraph