It is important to note that neither the notion of accessibility nor the accessibility constraint need be stipulated. For, as we will presently see, both follow from the way the DRS language is interpreted (cf. the notion of variable binding in standard predicate logic).  Thus, we are not at liberty to modify the accessibility relation, should we wish to do so, unless we simultaneously revise the truth conditions associated with the DRS language. The accessibility constraint is a semantic one.