窗口语义要显式区分

当语义要求操作完全落在窗口内时，不能只用距离条件，必须写成对两个被交换位置都成立的包含条件。