一群孩童七月十六日在华沙旧城區西吉斯蒙德纪念柱附近试著吹出一个肥皂泡泡。
铁人三项:每周至少训练两次自行车、游泳、跑步完成2007年7月的奥运会的铁人三项。
其中一些项目如Time Rover(见参考资料2002年7月专栏),使用模态逻辑和其它逻辑形式来表示运行时行为的深度属性