function res = BR_test_P23
%

KB(1).clauses = [1,2,6];
KB(1).prob = 0.0;
KB(2).clauses = [3,4,-6];
KB(2).prob = 0.0;
KB(3).clauses = [1,2,7];
KB(3).prob = 0.0;
KB(4).clauses = [3,5,-7];
KB(4).prob = 0.0;

probs = [0.1:0.1:0.9];
num_probs = length(probs);
res = zeros(num_probs,2);
query1(1).clauses = [1,2,3,4];
query2(1).clauses = [1,2,3,5];

for ind1 = 1:num_probs
    p = probs(ind1);
    KB(1).prob = p;
    KB(2).prob = p;
    KB(3).prob = p;
    KB(4).prob = p;
    P = BR_Nilsson(KB);
    res(ind1,1) = BR_Nilsson_query(query1,P);
    res(ind1,2) = BR_Nilsson_query(query2,P);
end
tch = 0;
