(infer (and (exerciseIntensity low world1) (high world2)) (amountSweat lower world1 (amusementslower world2) ) (infer (and (exercise intensity low world2) (high intensity high world1)) (amountSweat lower world2), (amusement lower world1)).
qval (운동 강도, 낮음, 세계 1), qv (운동의 강도, 높음, world2) -> qrel (금액, 아래, world1) ; qrel (액스 웨이트, 낮은, 세계2)
밥.
수.
밥은 컴퓨터 앞에 앉아 크리스피를 먹고 있다. 수는 곰에게 쫓기면서 평생을 달려간다. 누가 땀을 덜 흘릴까요?(A) 밥이 덜 땀 흘리겠어요