(infer (apparentSize lower world1) (distance higher world2) (distant higher world1)) (infer (apparentSize lower world2) (distance higher world1) (distortion higher world2))
qrel( 겉보기 크기, 더 낮음, world1) -> qrel(거리, 더 높음,world2) ; qrelli(거리가 더 높고, world)
시리우스.
달.
이 물체는 달(B) 시리우스보다 더 광년 떨어져 있기 때문에 질량이 더 적은 것으로 보인다.