south B south C if and only if, in the dimension x, B starts after or at the same time as C starts and B ends at the same time as or before C ends, or B starts at the same time as or before C starts and B ends after or at the same time as C ends; and, in the dimension y, B ends at the same time as or before C starts. north Inverse relation of south west B west C if and only if, in the dimension x, B ends at the same time as or before C starts; and, in the dimension y, B starts after or at the same time as C starts and B ends at the same time as or before C ends, or B starts at the same time as or before C starts and B ends after or at the same time as C ends. east Inverse relation of west northwest B northwest C if and only if, in the dimension x, B ends at the same time as or before C starts; and, in the dimension y, B starts after or at the same time as C ends. southeast Inverse relation of northwest southwest B southwest C if and only if, in the dimension x, B ends at the same time as or before C starts; and, in the dimension y, B ends at the same time as or before C starts. northeast Inverse relation of southwest left B left C if and only if, in the dimension x, B ends at the same time as or before C starts. right Inverse relation of left below B below C if and only if, in the dimension y, B ends at the same time as or before C starts. above Inverse relation of below over B over C if and only if, in the dimension x, B starts at the same time as or before C starts and B ends after C starts, or B starts after C starts and B starts before C ends; and, in the dimension y, B starts at the same time as C ends. under Inverse relation of over equals B equals C if and only if B is equal to C. inside B1, B2, ..., Bn is inside C if and only if the union of B1, ..., Bn is a subset of C contains Inverse relation of inside covers B1, B2, ..., Bn covers argument C if and only if the union of B1, B2, ..., Bn contains C AND that union is not equal to C coveredBy Inverse relation of covers overlaps B overlaps C if and only if B intersect C has non-empty interior touches B1, B2, ..., Bn touches argument C if and only if B union C is connected disjoint" B is disjoint with C if and only if the intersection of B and C is empty. separated E is separated from O if and only if the intersection of E and the closure of A is empty AND the intersection of the closure of E with O is empty.