推演轨则
推导天体