Property information
x in distal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the distal portion.
x in distal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the distal portion.