Extract Conflict by Tracing Support Ol=G ￥tre true 01=GA= (F=1)-(F=0 true 01=G)-(A=1)VX=1+X=1 true true F=1 F=1 Al=G A/=G→+1(A1-0)X=1)Y=1)VF=1Fr true true (02=G)-(B=1)yY=1+y=1 true true 02=GB= 0=0)B 10/03/03 copyright Brian Williams, 2003 1210/03/03 copyright Brian Williams, 2003 12 Extract Conflict by Tracing Support ™(O1=G) › ™(A=1) › X=1 ™(A1=G) › ™(X=1) › ™(Y=1) › F=1 ™(O2=G) › ™(B=1) › Y=1 ™(F=1) › ™(F=0) O1=G B=1 O1=G true B=1 true O2=G O2=G true A=1 A=1 true X=1 true Y=1 true A1=G A1=G true F=1 true F=1 F=1 true