Much work has been done on Arabic computational morphology (Al-Sughaiyer and Al-Kharashi, 2004;Soudi et al., 2007;Habash, 2010).
the bulk of this work does not address formfunction discrepancy or morpho-syntactic agreement issues.