update pizza etc

[ker2014-2.git] / report / src / burglary.ail

diff --git a/report/src/burglary.ail b/report/src/burglary.ail
index 478d0e3..d9df5ac 100644 (file)
--- a/report/src/burglary.ail
+++ b/report/src/burglary.ail
@@ -3,14 +3,7 @@ prob william: 5/7.
 prob jack: 5/7.
 prob averall: 5/7.
 
-joeWorks <- joe.
-jackWorks <- jack & joe.
-williamWorks <- william.
-averallWorks <- averall & jack & william.
-
-burglary <- joeWorks & jackWorks.
-burglary <- joeWorks & williamWorks.
-burglary <- joeWorks & averallWorks.
-burglary <- jackWorks & williamWorks.
-burglary <- jackWorks & averallWorks.
-burglary <- williamWorks & averallWorks.
+burglary <- joe & jack.
+burglary <- joe & william.
+burglary <- joe & william & jack.
+burglary <- joe & william & jack & averall.