Toward a Generalization and a Reformulation of Goods in SAT — Preliminary Report