part_of X part_of Y if X is a subregion of Y.