(외기(시간 하위 세계1) (거리 하위 세계1 (거리가 하위 세계2)) (외기(시간 하위 세계2) (거리 하위 세계2 (거리가 하위 세계1))
qrel(시간, 낮음, 세계1) -> qrel(거리, 낮추음, world1) ; qurel(거리, lower, world2)
다이애나.
Dave.
다이애나와 데이브는 같은 역에서 탄 후 같은 기차에 타고 있는데 만약 데이브가 기차에서 내리면 더 짧은 거리를 이동한 데이브보다 한 정거장 먼저 나온다? (A) 다이애나비 (B) 데이브.