Its conjoint is the function that sends \$$(d,a,b,c)\$$ to \$$\mathrm{true}\$$ if \$$d\leq a+b+c\$$ and to \$$\mathrm{false}\$$ otherwise.