 To see how this definition works, return to the object d in Figure 1. We want it to turn out that d is exactly located at r4 and nowhere else. Given the natural assumptions about which regions are parts of which, (D10) delivers the desired verdicts.