(원조(시간 하위 세계 1) (거리 하위 세계2) (거리가 하위 세계1)) (외기(시간 하위 세계2) (거리 하위 세계1) (거리가 하위세계2)
qrel(시간, 더 낮음, 세계1) -> Qrel(거리, 더 아래, 세계2) ; qrel(거리가 더 낮고 세계1)
짐.
존.
존과 짐이 일하러 가는데 존이 가는 길에 짐을 데리러 오는데 누가 더 짧은 거리를 갔나요? (A) 존(B) 짐.