DefExtractor: properties