Adapted expected after inclusion of inference rules