formal semantics definition - Search