Add a test of entailment suite and get it working