Где Вы их написали?
Как событие {X=4} выразить через события A1, A2, A3, A4?