In first-order domains, for example, this may require evaluating certain binary relations over all pairs of individuals in the world model, with time complexity proportional to the square of the size of the world model domain.
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 .