Figure: An example for formal semantics