ابن حنية، عطا الله ضيف الله