Combining Similarity and Transformer Methods for Case Law Entailment | Synapse