a Specialization specializes a Domain (inverse-direction declaration of contains for Domain->Specialization)