[PPT] - A Broad Class of First-Order Rewritable Tuple-Generating PowerPoint Presentation