class CLASP::SpecificationBase