(infer (and (amountSweat high world1) (anmountsweat low world2)) (exercise intensity higher world1)(muscleintensity higher world2)). (infer (and (amountSweat high world2) (anmountsweat low world1)) (exercise intensity higher world2)(exercise Intensity higher world1)).
qval (amountSweat, high, world1), qvale (absweat, low, world2) -> qrel (운동 강도, 더 높은, 세계1) ; qreul (exercise intensity, higher, world2).
더러운 체육복
깨끗한 체육복
폴라는 개인 트레이닝을 받은 후 평소 깨끗한 체육복을 세탁해야 하는 경우는 거의 없지만, 레이첼은 거의 항상 땀에 흠뻑 젖은 운동복을 더러운 빨래에 바로 넣어야 한다. 누가 헬스장에서 시간 동안 더 운동을 많이 하는가? (A) Rachel이 더 운동하는가 (B) Paula가 더 운동한다.