(infer (and (time high world1) (the time low world2)) (speed lower world2) (fast lower world1)) (외기(및 (시간 하이 월드2) (시 로우 월드1)) (속력 하계1 (속도 하계2))
qval(시간, 높음, 세계1), qvale(시간 낮음, world2) -> qrel(속도, 낮음,세계2) ; qreul(속도 낮음) world1)
엄마.
마라.
마라가 선로 주변을 달리고 있는데, 엄마는 아기 유모차를 밀어주는 것에 뒤처져 있다. 누가 더 오래 걸려 무릎을 만들까요?(A)마를라(B) 엄마.