(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)
러닝머신 걷기
오르막 달리기.
수잔은 매일 운동을 함으로써 살을 빼고 싶고 언덕을 뛰거나 오늘 러닝머신 위를 걷고 싶다. 땀을 가장 적게 흘리고 싶다면 (A) 오르막을 달린다(B) 러닝 머신을 달려야 한다.