Symbol: SpecificationListener