(infer (amountSweat lower world1) (exerciseIntensity lower world1 (muscle Intensity higher world1)) (infer (amountSweat lower world2) (exerciseIntensity lower world2), (muscle Intensity higher world2))
Qrel(amountSweat, lower, world1) -> qrel (운동 강도,lower,world1) ; Qrel 운동 강도, higher, world1
빌.
단.
빌과 댄은 둘 다 운동하러 체육관에 갔다 왔는데 빌이 댄보다 땀이 많이 나지 않아 빌(A)이 덜 움직였다(B)는 운동을 더 열심히 했다는 뜻이다.