If a listener supposes both moon and Mars were seen, what kind of restriction is “innamā raṣadnā al-qamar”?

Supplementary Practice 16: Observing the Sky, Evidential Scope and Rhetorical Precision