About

A statement is the minimal unit of execution of a language.

A statement is composed of:

expression and control flow are them self composed of token. (ie Variables, data types and other language structure are the building blocks that form them).

A statement can be contained in a block.

Generally, a punctuation called a statement separator makes obvious where one statement ends and another begins.

Property

Name / Label

A statement can have a label. See Language - Name (Program Entity)