(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 )
프랭크.
프레드.
프랭크는 마당을 가로질러 무거운 통나무를 끌고 있었고, 그의 쌍둥이 오빠 프랑크는 무게가 절반밖에 나가지 않는 것을 끌고 작업이 끝났을 때, 누가 더 땀을 흘렸을까?