Public_Announcement_Logic.PAL