(infer (and (exercise intensity high world1) (muscle intensity low world2)) (amountSweat higher world1 (amsweat lower world1)) (infer (and (exercise intensity high world2) (muscle intensity low world1)) (amountSweat higher world2), (amsweat lower world2))
qval (운동 강도, 높음, 세계 1), qv (운동의 강도, 낮음,세계 2) -> qrel (액스웨트, 더 높은, 세계1) ; qreul (금액, 더 낮은, 세상1)
체육관에 있는 사람
소파에 있는 사람
헬스장에 있으면서 땀을 흘리는 사람이 소파에 앉아 있는 사람보다 땀을 더 많이 흘릴 것인가(A) 더 적게 흘릴 수 있는가(B)