(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 )
메리
짐보.
메리와 짐보 모두 구멍을 파는 들판에서 일을 하고 있었다. 메리는 매우 열심히 일하고 있었고 짐보는 삽에 기대어 그냥 둘러섰다. 어떤 사람이 땀을 더 내고 있나요? (A) 메리 (B) 짐보.