El conjunto P crece por dos pre condiciones en cada iteración, y es posible derivar la estructura de un conjunto de reglas tomando nota de la pre condición que Se utiliza en cada regla sucesiva.