I also changed the followin: PS_ENTAILED is PS_SUBSUMED now CL_VAL_EX, CL_BND_EX, CL_DOM_EX, CL_OTR are gone By the last one I for sure broke the alice interface. Guido: please check. Christian -- Christian Schulte, http://www.imit.kth.se/~schulte/