Sanaphor++: Combining deep neural networks with semantics for coreference resolution