Once we determine the intermediate decision variables, we apply the heuristic rules motivated by compositional semantics (from Table 2) in order to obtain the final polarity y of x.
y = C(x, z), where C is the function that applies the compositional inference, either COMPOPR or COMPOMC.