Is the grammatical analysis of "لا إله إلا الله" (There is no god but Allah) as follows: "لا" (la) is a negator of the genus, "إله" (ilaha) is its noun, "إلا" (illa) is an exception particle, and "الله" (Allah) is its predicate, without the need to estimate "موجود" (existing) or "معبود حق" (rightfully worshipped), correct?

There are many ways to parse the word of Tawhid (La ilaha illallah - There is no god but Allah), and among the closest of them are: that it is a nominal sentence negated by "la" for negating the genus, and "ilaha" is its noun, and its predicate is omitted, estimated as "haq" (true) or "ma'bud bi haqq" (worshipped rightfully). "Illa" is an a tool of exception and restriction, and the majestic word "Allah" is a substitute for the omitted predicate of "la". Some scholars do not prefer any estimation in the wording. Ibn Hisham reached ten ways of parsing it.