Soft constraint abstraction based on semiring homomorphism

Re-assign community