a grammar parser and printer for DOL from OMG_OntoIOp_current.tex