Class SpecificationContext