Extract from negated blocking clauses