Added benchmark of entailment problems from Cyclist