semantics
a small translation
semantics