Khālidun is nominative ism laysa. Bi-ghāʾibin is genitive in surface form because of an additional bāʾ, while the predicate occupies an accusative slot.
Opening interactive controls...
Form versus Position with Extra Bāʾ
Advanced Parsing Workshop: Integrated Grammar
Khālidun is nominative ism laysa. Bi-ghāʾibin is genitive in surface form because of an additional bāʾ, while the predicate occupies an accusative slot.