Added inference for set complement and intersection