X in_left_side_of Y <=> if Y i ...... X is part_of the left portion.