Figure:
An
example for formal semantics
Open figure