mary in Customer end policy1 in Policy with startdate d: "2009-05-19" premium p: 1000 end holds1 in holds with customer c: mary policy p: policy1 end
The display of the data objects in figure 4 completes all three abstraction levels (meta classes, classes, data objects).