inferencing constraints