A class with existential quantification constraint on property.