(infer (apparentSize higher world1) (distance lower world1)(distant lower world2)) (infer (apparentSize higher world2) (distance lower world2)(distant lower world1))
qrel( 겉보기 크기, 더 높음, world1) -> qrel(거리, 더 낮음,world1) ; qrelli(거리 낮음, world2)
문
별들.
달이 별보다 작음에도 불구하고 하늘에서 더 크게 나타나는 것은 달이 지구에 가까우면(A) 별은 지구에 더 가깝기 때문이다.