Sound and Complete Inference Rules for SE-Consequence