SeParation logic ENtailment