Figure 13. The family structure of entailments for the unordered (U), ordered (O), and saturation (S) relations. Double-line arrows stand for the entailments, while dashed lines serve as a reminder that the entailments do not go both ways