A BNF detail is a deduction decide set that is normally composed as takes after:
The ::_expression_where is a non terminal
The _expression_consists of at least one image groupings.
A vertical bar (|) outlines other grouping alternatives.
Images not showing up on the left side are terminals.
Images showing up on the left side are situated inside the image articulation match and are non-terminals.