{Bridging the Gap between Informal and Formal Guideline Representations}