TVAM - Semantics