From e723fb5a1e2bbe4f914f06345a1cf7f27b605065 Mon Sep 17 00:00:00 2001
From: Naveen Sundar G <naveensundarg@gmail.com>
Date: Fri, 29 Dec 2017 00:08:54 -0800
Subject: [PATCH] Update README.md

---
 README.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/README.md b/README.md
index 18e14bb..b3c0ba3 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,17 @@
 # Spectra
+
+
+
+
+```clojure
+;; (removeFrom  ?x ?y) => "Remove ?x from ?y"
+;; (placeInside  ?x ?y) ==> "Place ?x inside ?y"
+(define-method planMethod [?b ?c ?d]
+  {:goal [(In ?b ?c) (In ?c ?d)]
+   :while [(In ?b ?d) (Empty ?c)
+           (< (size ?c) (size ?d))
+           (< (size ?b) (size ?c))]
+   :actions [(removeFrom  ?b ?d) (placeInside  ?b ?c) (placeInside  ?c ?d)]})
+Roughly, a method has conditions that the goal and background + start state should satisfy. If the conditions are satisfied, a plan template is generated (note the variables).
+The planner then verifies if the plan template works, if so it outputs the plan. 
+```