In the traditional example, ḍāḥik means:

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm