Why does ibnu have ḍammah in the source example?

ʿAṭf al-Bayān: Definition, Examples, and Contrast with Badal

• It is genitive
• It follows the nominative antecedent
• It is always indeclinable
• It is a past verb