Analyze

Analyze_ann	$\rightarrow$	analyze IDENTIFIER { Rule $\star$ }
Rule	$\rightarrow$	[ Condition => ] Consequence ;
Condition	$\rightarrow$	IDENTIFIER [ IDENTIFIER ] == IDENTIFIER
	$\mid$	IDENTIFIER [ IDENTIFIER ] == CONSTANT
	$\mid$	( Condition )
	$\mid$	Condition && Condition
	$\mid$	Condition || Condition
Results	$\rightarrow$	Result [ , Results ]
Result	$\rightarrow$	IDENTIFIER = IDENTIFIER