In “rational animal,” animal is proximate genus and rational is proximate differentia.Definitions in Logic: Complete and Incomplete Ḥadd and Rasm