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