Which type is raʾsahu in ḍarabtu Zaydan raʾsahu?Badal: Definition, Four Types, and ParsingPart-for-whole badalCorrection badalWhole-for-whole badalBadal of association