(infer (운동 강도 낮은 세계 1) (amountSweat higher world1)  (absweat lower world1)) (infer (운동 강도 낮은 세계 2) (amountSweat 높은 세계 2 )
qrel (운동 강도, 낮음, world1) -> qrel (amountSweat, higher, world 1) ; qREL (anmountSWeat, lower, world)
팻.
브렌다.
브렌다와 팻은 헬스장에서 하루를 즐긴다. 페벗은 브레나만큼 운동을 하지는 않지만 이 때문에 (A) 페트가 땀을 더 많이 흘리고 (B) 패트는 브래나보다 땀을 덜 흘린다.