Example Successor State Axiom (iff (2 plane-at pl jfk or (and (1 plane-at pl sfo)(1 fly pl sfo jfk)) (and (1 plane-at p1 jfk) (not (1 fly pl jfk sfo)))) Reminder Lists like (2 plane-at p1 jfk) are considered literals. It should be considered the same as a variable named 2-plane-at-p1-jfk, which is entirely different from the variable named 1-plane-at-p1-jtk 16.410/13, Programming SATPlan, Greg SullivanExample Successor State Axiom (iff (2 plane-at p1 jfk) (or (and (1 plane-at p1 sfo) (1 fly p1 sfo jfk)) (and (1 plane-at p1 jfk) (not (1 fly p1 jfk sfo))))) Reminder • Lists like (2 plane-at p1 jfk) are considered literals. It should be considered the same as a variable named 2-plane-at-p1-jfk, which is entirely different from the variable named 1-plane-at-p1-jfk. Oct. 22, 2003 16.410/13, Programming SATPlan, Greg Sullivan 9