We assume that there exists a projection from another decomposable function to κ.
we assume a collection of auxiliary functions, each of the form κ p : (x, y) → R, that scores a property p of the complete structure (x, y).