A Specification of EXTRACTOR