Partial commit with a fail example for entailment of Sasn.