Model-based Semi-Mark