(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)
존 걸어 10분.
케이트 10분 뛰어.
케이트는 트랙을 돌아 10분 동안 돌고 존은 트랙을 10분간 돌아간다. 누가 땀을 덜 흘릴까요?(A) 케이트(B) 존