(외기(strength lower world1) (거리lower world2) (거리가lower world1)) (외기(strength lower world2) (거리lower world1) (거리가lower world2))
qrel(강도, 낮음, world1) -> qrel(거리, 낮은, world2) ; qurel(distance, 낮게, world 1)
후안은 병원에 입원한 후
후안 건강하면.
후안은 자동차 사고로 다쳐 팔의 힘을 유지할 수 없는 병원 신세를 져야 한다. 후안은 자신이 건강할 때 가지고 있던 힘의 수준에 비해 자신의 던지는 팔이 매우 허약하게 느껴진다는 것을 알아차린다. 만약 주안이 친구와 함께 공을 던지기로 결정했다면, 주안의 팔이 건강한 경우(A) 언제 여행 거리를 줄일 수 있을까?