update

diff --git a/report/ass1.tex b/report/ass1.tex
index 670bdcf..19e16ab 100644 (file)
--- a/report/ass1.tex
+++ b/report/ass1.tex
@@ -10,44 +10,44 @@
                We use the functions $agent(X, S_i), crate(cratename, X, S_i)$ and
                $target(cratename, X)$ to easily represent the information. 
        \item{Q3}\\
-               $\begin{array}{lll}
-                       connected(loc11, loc21, east)\wedge &
-                       connected(loc11, loc12, north)\wedge &
-                       connected(loc12, loc22, east)\wedge\\
-                       connected(loc12, loc13, north)\wedge &
-                       connected(loc13, loc23, east)\wedge &
-                       connected(loc13, loc14, north)\wedge\\
-                       connected(loc14, loc24, east)\wedge &
-                       connected(loc21, loc31, east)\wedge &
-                       connected(loc21, loc22, north)\wedge\\
-                       connected(loc22, loc32, east)\wedge &
-                       connected(loc22, loc23, north)\wedge &
-                       connected(loc23, loc33, east)\wedge\\
-                       connected(loc23, loc24, north)\wedge &
-                       connected(loc31, loc32, north)\wedge &
-                       connected(loc32, loc33, north)\wedge\\
-                       connected(loc21, loc11, west)\wedge &
-                       connected(loc12, loc11, south)\wedge &
-                       connected(loc22, loc12, west)\wedge\\
-                       connected(loc13, loc12, south)\wedge &
-                       connected(loc23, loc13, west)\wedge &
-                       connected(loc14, loc13, south)\wedge\\
-                       connected(loc24, loc14, west)\wedge &
-                       connected(loc31, loc21, west)\wedge &
-                       connected(loc22, loc21, south)\wedge\\
-                       connected(loc32, loc22, west)\wedge &
-                       connected(loc23, loc22, south)\wedge &
-                       connected(loc33, loc23, west)\wedge\\
-                       connected(loc24, loc23, south)\wedge &
-                       connected(loc32, loc31, south)\wedge &
-                       connected(loc33, loc32, south)\wedge\\
-                       crate(cratec, loc21, s0)\wedge &
-                       crate(crateb, loc22, s0)\wedge &
-                       crate(cratea, loc23, s0)\wedge\\
-                       target(cratea, loc12)\wedge &
-                       target(crateb, loc13)\wedge &
-                       target(cratec, loc11)\wedge\\
-                       agent(loc32, s0)\wedge\\
+               $\begin{array}{llllll}
+                       connected(loc11, loc21, east) & \wedge &
+                       connected(loc11, loc12, north) & \wedge &
+                       connected(loc12, loc22, east) & \wedge\\
+                       connected(loc12, loc13, north) & \wedge &
+                       connected(loc13, loc23, east) & \wedge &
+                       connected(loc13, loc14, north) & \wedge\\
+                       connected(loc14, loc24, east) & \wedge &
+                       connected(loc21, loc31, east) & \wedge &
+                       connected(loc21, loc22, north) & \wedge\\
+                       connected(loc22, loc32, east) & \wedge &
+                       connected(loc22, loc23, north) & \wedge &
+                       connected(loc23, loc33, east) & \wedge\\
+                       connected(loc23, loc24, north) & \wedge &
+                       connected(loc31, loc32, north) & \wedge &
+                       connected(loc32, loc33, north) & \wedge\\
+                       connected(loc21, loc11, west) & \wedge &
+                       connected(loc12, loc11, south) & \wedge &
+                       connected(loc22, loc12, west) & \wedge\\
+                       connected(loc13, loc12, south) & \wedge &
+                       connected(loc23, loc13, west) & \wedge &
+                       connected(loc14, loc13, south) & \wedge\\
+                       connected(loc24, loc14, west) & \wedge &
+                       connected(loc31, loc21, west) & \wedge &
+                       connected(loc22, loc21, south) & \wedge\\
+                       connected(loc32, loc22, west) & \wedge &
+                       connected(loc23, loc22, south) & \wedge &
+                       connected(loc33, loc23, west) & \wedge\\
+                       connected(loc24, loc23, south) & \wedge &
+                       connected(loc32, loc31, south) & \wedge &
+                       connected(loc33, loc32, south) & \wedge\\
+                       crate(cratec, loc21, s0) & \wedge &
+                       crate(crateb, loc22, s0) & \wedge &
+                       crate(cratea, loc23, s0) & \wedge\\
+                       target(cratea, loc12) & \wedge &
+                       target(crateb, loc13) & \wedge &
+                       target(cratec, loc11) & \wedge\\
+                       agent(loc32, s0) & \wedge\\
                \end{array}$
        \item{Q4}\\
                $goal(s)\rightarrow\\