(infer (and (time high world1) (the time low world2)) (speed higher world1)(speed lower world1)) (외기(및 (시간 높은 세계2)(시간 낮은 세계1)) (고속 더 큰 세계2) (속도 더 낮은세계2)
qval (시간, 높음, 세계1), qvale ( 시간, 낮음, world2) -> qrel (속도, 상위, world1) ; qreul (속력, 하위, world 1)
거북이.
토끼.
거북이는 (A) 더 빠르고 (B) 더 느리기 때문에 포식자에서 토끼로 떨어진 경주에서 질 가능성이 높다.