Which best distinguishes part-for-whole from ishtimāl?

Badal: Definition, Four Types, and Parsing