(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)
존.
축구 선수들.
존은 축구를 보는 것을 좋아한다. 그가 가장 좋아하는 선수가 80야드를 달리는 터치다운을 보게 된다. 누가 덜 땀을 흘리고 있는가, 아니면 자신이 가장 좋어하는 축구 선수가 있는가?(A) 존(B) 패트리엇 선수