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

  MEDevel.com: Open-source for Healthcare and Education

  Collecting and validating open-source software for healthcare, education, enterprise, development, medical imaging, medical records, and digital pathology.

  Visit Medevel

  • 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]}

>Solution :

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 ;.