Accessibility is a relation between DRSs that is transitive and reflexive, i.e., it is a preorder. More in particular, it is the smallest preorder for which the following holds, for all DRSs K, K′, and K″: if ConK contains a condition of the form …