Back and Forth Between Rules and SE-Models (Extended Version)