Added existential restrictions listing.