(외기(및 (중위 저세계1) (고중위 세계2)) (가속도 상위 세계1)(가속 상위 세계2)). (외기(및 (중위 저세계2) (고중위 세계1)) (가속 고세계2)(가속도 고세계1))
qval(가중치, 낮음, 세계1), qvale(가 중치, 높음, world2) -> qrel(가속도, 더 높은, world1) ; qreul(가속, 더 높이, 세계2)
빈 덤프 트럭
철광석 가득 덤프트럭
비어있는 덤프 트럭과 철광석이 가득한 덤프트럭이 길거리 양 끝에서 서로를 향해 최대한 빨리 출발한다. 어느 트럭이 다른 트럭보다 100피트 먼저 가나요?