(원조(시간 하위 세계1) (거리 상위 세계2) (거리가 상위 세계1)) (원조(시간 하위 세계2) (거리 상위 세계1) (거리가 상위 세계2)
qrel(시간, 더 낮음, world1) -> qrel(거리, 더 높음,world2) ; qrelli (distance, 더 높이,world1)
수요일 개
화요일 개
한 개는 동네를 돌아다니는 것을 좋아했고 화요일에는 개가 길을 걸어가는 시간이 많았고, 수요일에 개는 길을 내려갔지만 더 적은 시간을 걸은 후에 멈춰섰다. 그 개는 어느 걸을 더 걸었는가?(A) 화요일(B) 수요일.