(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)
캐리.
디나.
캐리는 자신의 집에 디나를 방문한다. 디나는 운동용 자전거를 타고 캐리가 앉아 TV를 시청한다. 둘 중 어느 것이 끝났을 때 발에 땀이 더 적게 흘러갈 것인가? (A) 캐리 (B) 디나.