f1 :- s1.
f5 :- s1.
f11 :- s1.
f2 :- s2.
f4 :- s2.
f1 :- s3.
f3 :- s3.
f5 :- s3.
f7 :- s3.
f9 :- s3.
f10 :- s3.
f11 :- s3.
f2 :- s4.
f5 :- s4.
f10 :- s4.
f11 :- s4.
f7 :- s5.
f10 :- s5.
f1 :- s6.
f10 :- s6.
f2 :- s7.
f4 :- s7.
f9 :- s7.
f1 :- s8.
f3 :- s8.
f4 :- s8.
f10 :- s8.
f11 :- s8.
f2 :- s9.
f5 :- s9.
f2 :- s10.
f3 :- s10.
f4 :- s10.
f5 :- s10.
f8 :- s10.
f10 :- s10.
f1 :- s11.
f2 :- s11.
f4 :- s11.
f5 :- s11.
f7 :- s11.
f9 :- s11.
f11 :- s11.
f1 :- s12.
f2 :- s12.
f3 :- s12.
f4 :- s12.
f5 :- s12.
f7 :- s12.
f9 :- s12.
f10 :- s12.
f11 :- s12.

weight(decrease_cost, 3.0).
weight(better_spending_control, 2.0).
weight(enhance_communication, 1.0).

services(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12).
prices(12.3, 11.2, 17.0, 12.8, 9.9, 10.8, 13.1, 14.2, 11.7, 12.1, 19.9, 22.5).