(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)
밀로.
짐보.
짐보가 웨이트를 들어 올리고 밀로가 조용히 앉아 있다면, 어느 사람이 땀을 덜 흘리는가?(A) 짐보(B) 밀로