function Sp = BR_ccp2Sp(KB,ccp)
%

num_clauses = length(KB);
Sp = zeros(num_clauses,1);

for c = 1:num_clauses
    Sp(c) = BR_ccp2clausep(KB(c).clauses,ccp);
end
