Legal Information Retrieval and Entailment Based on BM25, Transformer and Semantic Thesaurus Methods