(발명(속력높은 세계1) (시간낮은 세계2) ( 시간낮은세계1)) (발명(속도 상위 세계2) (시간 하위 세계1) (시각 하위 세계2)
qrel (속도, 더 높음, world1) -> qrel (시간, 더 낮음,world2) ; qrelli ( 시간, 더 낮추어,world1)
형.
토미.
토미는 더 나이가 많고 더 빠른 형을 수영장으로 경주했다. 누가 먼저 (A) 토미를 탔는지 (B) 형을 탔는지.