(infer (and (exerciseIntensity high world1) (low world2)) (amountSweat low world1))  (amsweat lower world2) ) (infer (and (exerciseIntensity high world2) (activity low world1)) (amountSweat lower world2)(amusement lower world1)).
qval (운동 강도, 높음, 세계 1), qv (운동의 강도, 낮음,세계 2) -> qrel (금액, 아래, 세계1) ; qreul (액스 웨이트, 낮은, 세계2)
로즈.
장미 엄마.
로즈의 엄마는 한밤중에 로즈 롤러스케이트를 타고 갔다. 로즈의 엄마도 스케이트를 타는 기분이 아니어서 앉아서 로즈가 스케이트장을 여러 번 빙글빙글 도는 모습을 지켜봤다.