Rules:
–Define, on which pre-conditions which measures have
to be introduced;
–forming IF … THEN … constructs;
–identified by R1 … Rn.
R1 - IF … there are traffic lights (C1=Y) and the green signals is
lighted (C2=Y)
THEN … go ahead (A2)
R2 - IF … there are traffic lights (C1=Y) and the green signals is
not lighted (C2=N)
THEN … stop and wait (A2)