(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 )
아침.
밤.
멜은 아침에 조깅을 하고, 밤에는 소파에서 TV를 보고 있다. 멜이 아침에 더 땀을 흘린다(A).