From 685f072886834a850d03c13dba71ad1b5815744b Mon Sep 17 00:00:00 2001
From: JACQUELINE M DOLL <jmdoll@us.ibm.com>
Date: Sat, 17 Sep 2022 21:35:04 -0400
Subject: [PATCH] Create grandmas.txt

---
 grandmas.txt | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 grandmas.txt

diff --git a/grandmas.txt b/grandmas.txt
new file mode 100644
index 0000000..d155a10
--- /dev/null
+++ b/grandmas.txt
@@ -0,0 +1,28 @@
+Initial state: RedAt(B), At(A), Bed(asleep), PillowAt(C)
+Goal state:    Have(Red)
+
+Actions:
+               // move from X to Y
+               Move(X, Y)
+               Preconditions:  At(X), Bed(asleep)
+               Postconditions: !At(X), At(Y)
+               
+               // climb up on the pillow
+               ClimbUp(Location)
+               Preconditions:  At(Location), PillowAt(Location), Bed(asleep)
+               Postconditions: Bed(awake), !Bed(asleep)
+               
+               // climb down from the pillow
+               ClimbDown(Location)
+               Preconditions:  At(Location), PillowAt(Location), Bed(awake)
+               Postconditions: Bed(asleep), !Bed(awake)
+               
+               // move grandma and pillow from X to Y
+               MovePillow(X, Y)
+               Preconditions:  At(X), PillowAt(X), Bed(asleep)
+               Postconditions: PillowAt(Y), !PillowAt(X), At(Y), !At(X)
+               
+               // make soup with Red
+               MakeRed(Location)
+               Preconditions:  RedAt(Location), At(Location), Bed(awake)
+               Postconditions: Have(Red)
\ No newline at end of file