(원조(시간 하위 세계1) (거리 상위 세계2) (거리가 상위 세계1)) (원조(시간 하위 세계2) (거리 상위 세계1) (거리가 상위 세계2)
qrel(시간, 더 낮음, world1) -> qrel(거리, 더 높음,world2) ; qrelli (distance, 더 높이,world1)
토끼.
치타.
치타와 토끼는 모두 같은 속도로 들판을 달리고 있다. 토끼는 치타보다 먼저 포기하고 숨을 고르기 위해 멈춰서며, 어느 동물이 더 먼 거리를 달렸는가? (A) 치타 (B) 토끼.