(infer (apparentSize higher world1) (lower distance world1)(higher distanceworld1)) (infer (apparentSize higher world 2) (distance lower world2)(distance higher world2))
qrel( 겉보기 크기, 더 높음, world1) -> qrel(거리, 더 낮음,world1) ; qurel(거리가, 더 큼, 세계1)
달.
화성
조앤은 밤하늘을 보고 달이 화성보다 훨씬 더 커 보인다는 것을 알아차리는데, 이는 달이 (A) 지구로부터 더 멀리 떨어져 있기 때문이다.