% output from prove1.pl

prolog:  outside w2 l2 w4 p1 w3 p2 w6 w5
prove :  outside w2 l2 w4 p1 w3 p2 w6 w5
delta :  0.111111 = [prolog(live(A))] 
                    / 
                    [prove(live(N))]