7 Inverting the Resolution Principle S. H. Muggleton