(원조(시간 하위 세계1) (거리 상위 세계2) (거리가 상위 세계1)) (원조(시간 하위 세계2) (거리 상위 세계1) (거리가 상위 세계2)
qrel(시간, 더 낮음, world1) -> qrel(거리, 더 높음,world2) ; qrelli (distance, 더 높이,world1)
리타.
존.
존과 리타는 달리기를 하러 간다. 리타는 피곤해져서 공원 벤치에서 휴식을 취한다. 공원에서 20분이 지나고 누가 더 달렸는가?(A) 존(B) 리타