In order to explain the entailments of a compound expression as a function of the entailments of its parts, we categorize semantic functions according to their projectivity class, a concept which generalizes both Sánchez Valencia's monotonicity classes (upward, downward, and non-monotone) and the nine implication signatures of Nairn et al.
by thresholding a real-valued inference score.