(infer (and (amountSweat high world1) (anmountsweat low world2)) (exercise intensity higher world2) (muscleintensity higher world1)) (infer (and (amountSweat high world2) (anmountsweat low world1)) (exercise intensity higher world1) (muscleintensity higher world2))
qval (amountSweat, high, world1), qvale (absweat, low, world2) -> qrel (운동 강도, 더 높은, 세계2) ; qreul (exercise intensity, higher, world 1)
운동 루틴 B
운동 루틴 A
앤디는 자신이 좋아하는 2가지 운동 루틴인 루틴 A와 루틴 B가 있었는데, 화요일과 금요일에는 루틴 A를 할 때는 거의 땀을 흘리지 않았지만, 수요일과 일요일에 루틴 B를 했을 때는 정말 땀을 흘렸다. (A) 루틴 A (B) 루틴 B로 더 많은 운동을 하고 있었다.