Tagged tl-modeling