Inference rules for comp, inv, pcon, pdec, coe