Explain \domain(x)
x->\owns but a bit more
a bit more: all object owned by x, and all the object owned by the objects owned by it and so on all the objects in the ownership "hierarchy"
x->\owns but a bit more
a bit more: all object owned by x, and all the object owned by the objects owned by it and so on all the objects in the ownership "hierarchy"