Let and be as in the preceding exercise and let * be defined by min(),c-if tEa, c), 8'(1) :-(min(8'(c), s(c)) if I-e, min{8(t),-c)}

Let δʹ and δʹʹ be as in the preceding exercise and let δ* be defined by

min(),c-if tEa, c), 8'(1) :-(min(8'(c), s"(c)) if I-e, min{8"(t),-c)} if 1 e (c, . P of [a, bl