X in_right_side_of Y <=> if Y ...... is part_of the right portion.