(infer (and (exercise intensity low world1) (muscle intensity high world2)) (amountSweat higher world1)) '(amountsweat lower world1)). (infer (and (exercise intensity low world2) (muscle intensity high world1)) (amountSweat higher world2)(amassSweut lower world2))
qval (운동 강도, 낮음, 세계 1), qv (운동의 강도, 높음, world2) -> qrel (액스웨트, 더 높은, world1) ; qreul (금액, 더 낮은, 세계1)
아담.
벤.
벤과 애덤은 집에서 운동 동영상을 따라가고 있다. 벤은 계속 가고 있고 애덤은 점심시간을 보내기로 했다. 이 때문에 벤보다 더 땀을 흘리고 있는(A) 애덤이 벤보다 덜 땀 흘리는(B) 애덤일 가능성이 높다.