empName(a).
empName(b).
empName(c).
empName(d).
empName(e).
empName(f).
empName(g).
empName(h).
empName(i).
empName(j).
empName(k).
empName(l).
empName(m).
empName(n).
empName(o).
empName(a1).
empName(b1).
empName(c1).
empName(d1).
empName(e1).
empName(f1).
emp(a,10).
emp(a,12).
emp(a,9).
emp(a,5).
emp(b,10).
emp(b,1).
emp(b,9).
emp(b,5).
emp(c,10).
emp(c,1).
emp(c,9).
emp(c,5).
emp(d,10).
emp(d,12).
emp(d,9).
emp(d,5).
emp(e,10).
emp(e,12).
emp(e,9).
emp(e,5).
emp(f,10).
emp(f,1).
emp(f,9).
emp(f,5).
emp(g,10).
emp(g,12).
emp(g,9).
emp(g,5).
emp(h,10).
emp(h,1).
emp(h,9).
emp(h,5).
emp(i,10).
emp(i,1).
emp(i,9).
emp(i,5).
emp(j,10).
emp(j,12).
emp(j,9).
emp(j,5).
emp(k,10).
emp(k,12).
emp(k,9).
emp(k,5).
emp(l,10).
emp(l,1).
emp(l,9).
emp(l,5).
emp(m,10).
emp(m,12).
emp(m,9).
emp(m,5).
emp(n,10).
emp(n,1).
emp(n,9).
emp(n,5).
emp(o,10).
emp(o,1).
emp(o,9).
emp(o,5).
emp(a1,10).
emp(a1,12).
emp(a1,9).
emp(a1,5).
emp(b1,10).
emp(b1,12).
emp(b1,9).
emp(b1,5).
emp(c1,10).
emp(c1,1).
emp(c1,9).
emp(c1,5).
emp(d1,10).
emp(d1,12).
emp(d1,9).
emp(d1,5).
emp(e1,10).
emp(e1,1).
emp(e1,9).
emp(e1,5).
emp(f1,10).
emp(f1,1).
emp(f1,9).
emp(f1,5).
maxRaised(15).
nHours(30).
raised(X) :- empName(X), not notraised(X).
notraised(X) :- empName(X), not raised(X).
notraised(X) :- empName(X), nHours(K), sum({H,emp(X,H)})<K.
:- maxRaised(N), count({X,raised(X)}) > N.