Large Extraction Definitions and Extraction Procedures