«الحمل في اصطلاحهم: اتحاد المتغايرين في المفهوم بحسب الوجود»
In the logicians’ terminology, predication is the unity in existence of two items whose concepts differ.
Difference in meaning means subject and predicate convey distinct concepts. Unity in existence means that they can be truly applied to the same referent.
Thus Zayd and writer are conceptually different; if Zayd writes, both descriptions refer to the same existing person. The definition resolves the apparent puzzle of how distinct meanings can be joined in one predication.