formal semantics examples - Search