concrete AraAra of Ara = open Arabic in { lincat V = Verb ; S = Str ; lin ktb_V = u_Verb "ktb" ; Tab v = verbTable v ; }