Recall that a reified world model can be cast as a subsumption lattice as described in Section 3.1.2.
the result of conjoining a property l with a context set e can therefore be found by downward traversal of an edge in this lattice labeled l and departing from e. 6 in Figure 4, the set of executables that are read-only would be reachable by traversing a READ-ONLY relation from the set of executables, or by traversing an EX-ECUtABLE relation from the set of read-only objects, or by a composed path READ-ONLY•EXECUtABLE or EXECUtABLE•READ-ONLY from e .