What does the book require for an indefinite badal after a definite antecedent?

Badal: Definition, Four Types, and Parsing

• The verb must be omitted
• The subject becomes genitive
• The badal must never take tanwīn
• The badal must take an adjective