(infer (and (exercise intensity low world1) (high intensity high world2)) (amountSweat lower world2) (amusement lower world1)) (infer (and (exercise intensity low world2) (high intensity high world1)) (amountSweat lower world1) (amusement lower world2))
qval (운동 강도, 낮음, 세계 1), qv (운동의 강도, 높음, world 2) -> qrel (금액, 아래, world2) ; qrel (액스 웨이트, 하한, world1)
밀로.
모나.
모나가 팔굽혀펴기를 하고 밀로가 책을 읽고 있다면, 어느 사람이 땀을 덜 흘리는가?(A) 모나(B) 밀로