Syntax rules for IEAABD00

The following rules apply to the replacement of IEAABD00: