-- Subset Space Logic with Arbitrary Announcements -- Subset Space Public Announcement