Annex F2 � SDL‑2010 formal definition: Static semantics���� ������ F2.1���� General information for the static semantics� ������ F2.2���� Static semantics��������� ������ F2.3���� Transformation of SDL‑2010 shorthands����