report/src/burglary.ail

   1 prob joe: 5/7.
   2 prob william: 5/7.
   3 prob jack: 5/7.
   4 prob averall: 5/7.
   5
   6 joeWorks <- joe.
   7 jackWorks <- jack & joe.
   8 williamWorks <- william.
   9 averallWorks <- averall & jack & william.
  10
  11 burglary <- joeWorks & jackWorks.
  12 burglary <- joeWorks & williamWorks.
  13 burglary <- joeWorks & averallWorks.
  14 burglary <- jackWorks & williamWorks.
  15 burglary <- jackWorks & averallWorks.
  16 burglary <- williamWorks & averallWorks.