X posterior_side_of Y <=> if Y ...... part_of the posterior portion.