2Wigan 1Bradford syntaxes CARO nQpiQpe SBVR OPS5 EBNF commercium Zigua satemization Szemerenyi superko Paleosiberian wwwQpgettyQpedu p20 Morbidly formal OWL commissi languages Ubangian rules FIPA 11179 datalog SWRL standards fus soro Tefkat Luyana Bagirmi grantmakers Tongic QQVT Ritwan grammars