X distal_side_of Y <=> if Y is ...... is part_of the distal portion.