(infer (apparentSize higher world1) (distance higher world1 (distant lower world1)) (인퍼(apparentSize higher world2) (거리 더 높은 world2)(거리가 더 낮은 world2 (distance lower world2))
qrel( 겉보기 크기, 더 높음, world1) -> qrel(거리, 더 높이, world2) ; qurel(거리 낮음, 세계1)
문 닫아.
문씨.
슈퍼 달인데 왜 달이 더 커 보이는가? (A) 태양에 의해 더 크게 만들어지는가 (B) 지구와 더 가까워진다.