Converting Grammatical Framework to Regulus