(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)
제이미.
Dave.
제이미 하루 종일 아무것도 하지 않았어요. 반면에 데이브는 웨이트를 들어올렸어요. 누가 땀을 덜 흘릴까요?(A) 데이브(B) 제이미.