(infer (and (amountSweat high world1) (anmountsweat low world2)) (exercise intensity higher world1)(muscleintensity lower world1)) (infer (and (amountSweat high world2) (anmountsweat low world1)) (exercise intensity higher world2)(exerciseintensity lower world2))
qval (amountSweat, high, world1), qvale (absweat, low, world2) -> qrel (운동 강도, 더 높은, 세계1) ; qreul (운동량, 더 낮은,세계1)
단.
빌.
빌과 댄은 둘 다 트랙 러닝을 하고 있었는데 함께 떠나보면 댄이 땀을 많이 흘리고 있는 반면 빌은 거의 땀을 흘리지 않았다.