[PPT] - Efficient Handling of Obligation Constraints in Synthesis from PowerPoint Presentation