function h = GEO_KB2hp(KB)
% GEO_clause2hp - converts a KB to a hyperplane normal form 
%    set of coefficients
% On input:
%     KB(nxk vector): n clauses with k atoms
% On output:
%     h (m by (n+1) vector): hyperplane coefficients for each clause
% Call:
%     h = GEO_KB2hp(KB);
% Author:
%     T. Henderson/A. Lessen
%     UU
%     Fall 2021
% 

cl = length(KB);
al = max(BR_vars(KB, []));
h = zeros(cl, al+1);
for c = 1:cl
    hp = GEO_clause2hp(KB(c).clauses,al);
    h(c,:) = hp;
end
    