Similarly, the expression inside(,~P3y[region(y)/~ P(y)])(z) denotes that the dot z is inside a region y, but the first argument denotes the set of properties P that the region has, rather than denoting y directly.
whenever the full interpretation of these expressions in relation to a finite domain of graphical objects is required, they must be transformed into equivalent first-order expressions.