Dado algún nodo en el árbol y alguna cláusula cuya cabecera esta marcada por un nodo, existe un conjunto de nuevas ramas correspondientes con los objetivos del cuerpo de las clausulas, aún por reducir.