(infer (and (exercise intensity low world1) (muscle intensity high world2)) (amountSweat lower world1 (amsweat higher world1)) (infer (and (exercise intensity low world2) (high intensity high world1)) (amountSweat lower world2)(amassSweut higher world2))
qval (운동 강도, 낮음, 세계 1), qv (운동의 강도, 높음, world2) -> qrel (금액, 낮은, world1) ; qreul (액스웨트, 더 높은, 세계1)
더 짧은 운동
더 긴 운동
샌디의 운동은 짧고 달콤하지만, 그녀의 친구 마거릿은 매일 몇 시간씩 운동을 하는데, 두 친구 중 누가 덜 퍼포먼스를 하는가?(A) 샌디는 퍼포머스를 덜하는가(B) 마거렛은 덜한다.