function b = BR_test_assignment(KB,ap)
%

b = 1;

len_KB = length(KB);
for c = 1:len_KB
    clause = KB(c).clauses;
    len_clause = length(clause);
    bc = 0;
    for d = 1:len_clause
        index = abs(clause(d));
        if clause(d)==ap(index)
            bc = 1;
            break
        end
    end
    if bc==0
        b = 0;
        return
    end
end
