[M3devel] A possible grammar overstrictness or ambiguity problem

[Daniel Alejandro Benavides D.]

Hi all:
Please take a look at p. 18:
http://math.guc.edu.eg/Wafik/Characterizing%20Unambiguity.pdf

I have recreated in a small program not particulary useful to you but to the example:
///////////////////////// Main.m3 /////////////////////////////////
MODULE Main;
VAR a, b :=FALSE;

BEGIN

IF b = (NOT a)
 THEN a:=b;
END 

END Main.

It works as theory expresses but in my small program's alphabet it's overstrict, isn't it? Line 6 is a bad expression without parenthesis.

 Thanks in advance