Non-terminal symbol `BinExpr`

A BinExpr either one of:

an Expr followed by a binary operator (i.e., one of PLUS, TIMES, AND, or OR), followed by an Expr;
an Expr followed by a PartialRelationalExpr.

Defining rules for nonterminal symbol BinExpr:

`BinExpr`		`Expr` `PLUS` `Expr`
		`Expr` `TIMES` `Expr`
		`Expr` `AND` `Expr`
		`Expr` `OR` `Expr`
		`Expr` `PartialRelationalExpr`

Occurrences of symbol BinExpr in body of other rules:

Expr BinExpr

Non-terminal symbol BinExpr