(infer (and (speed low world1) (high speed high world2)) (time higher world2) (the time higher world1)) (외기(및 (속력이 낮은 세계2) (속도가 높은 세계1) (시간이 더 높은세계1) ) )
qval(속도, 낮음, world1), qvale(속도와 높음,world2) -> qrel(시간, 더 높은, world2) ; qreul(시간 더 높아, world 1)
베키.
수.
수와 베키는 같이 살지만 따로 가게에 가고 싶어 집을 나섰는데 동시에 집을 나간다면 수가 차를 몰고 다니고 있고 베키가 걸어가고 있다면 누가 가게까지 가는데 시간이 더 걸릴까?(A) 수(B) 베키.