(infer (and (exercise intensity high world1) (muscle intensity low world2)) (amountSweat higher world1 (amsweat high world2) ) (infer (and (exercise intensity high world2) (muscle intensity low world1)) (amountSweat higher world2)(amsweat high world1)).
qval (운동 강도, 높음, 세계 1), qv (운동의 강도, 낮음,세계 2) -> qrel (금액, 더 높은, 세계 1 ) ; qrel (액스웨트, 더 높이, 세계 2 )
짐보.
제임스.
짐보와 제임스는 둘 다 헬스클럽에서 운동을 하고 있는데 짐보는 웨이트를 올리고 있고 짐스는 스트레칭을 한다면, 어느 사람이 땀을 더 흘리는가?