Copyright
©
2001 IFSL University of Magdeburg
IFSL - UMD
IEPAL
Example: traffic crossing
Case 1 (a/b)
There is a policeman:
C3-Y/C4-Y/N
C1 … C2, C5 … C8
not relevant
Case 2 (a/b)
There is no a policeman
and
there are traffic lights:
C1-Y/C2-Y/N/C3-N
C4 … C8 not relevant