Recognizing entailments in legal texts using sentence encoding-based and decomposable attention models | Synapse