Event Catalogs as Theories