(infer (and (exercise intensity low world1) (high intensity high world2)) (amountSweat lower world2) (amusement lower world1)) (infer (and (exercise intensity low world2) (high intensity high world1)) (amountSweat lower world1) (amusement lower world2))
qval (운동 강도, 낮음, 세계 1), qv (운동의 강도, 높음, world 2) -> qrel (금액, 아래, world2) ; qrel (액스 웨이트, 하한, world1)
걸어가는 사람
사람이 뛰는 거.
헬스장에서는 제니와 수지가 모두 러닝머신을 사용하고 있다. 둘 다 30분 동안 달리기를 하고 있고, 수지는 걷고 있는데 누가 땀을 덜 흘릴까요?(A) 제니(B) 수지.