[PPT] - A Partition-Based First-Order Probabilistic Logic to Represent PowerPoint Presentation