Model Transformer Semantics Examples