MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations