What does mean for loop with one semicolon?

Can please someone give an example of third for loop from specification and explain what does it mean?

14.7.4 The for Statement

• Syntax

  • ForStatement_{[Yield, Await, Return]} :

    • for ( [lookahead ≠ let [] Expression_{[~In, ?Yield, ?Await] opt} ; Expression_{[+In, ?Yield, ?Await] opt} ; Expression_{[+In, ?Yield, ?Await] opt} ) Statement_{[?Yield, ?Await, ?Return]}

    • for ( var VariableDeclarationList_{[~In, ?Yield, ?Await]} ; Expression_{[+In, ?Yield, ?Await] opt} ; Expression_{[+In, ?Yield, ?Await] opt} ) Statement_{[?Yield, ?Await, ?Return]}

    • for ( LexicalDeclaration_{[~In, ?Yield, ?Await]} Expression_{[+In, ?Yield, ?Await] opt} ; Expression_{[+In, ?Yield, ?Await] opt} ) Statement_{[?Yield, ?Await, ?Return]}

If you look at the definition of LexicalDeclaration, you can see it is defined as:

• LexicalDeclaration_{[In, Yield, Await]} :
  • LetOrConst BindingList_{[?In, ?Yield, ?Await]} ;

So all three cases of for loops have two semicolons. Lexical declarations are not expressions and so they have chosen to include the semicolon in its definition, rather than following every use of LexicalDeclaration with ;.