Advanced Logical Extraction