Model Transformer Semantics