Formal Treatment of Definiteness in Arabic. TUJ-A 2017, 39 (3).