!(e1.door=OPENING);
!(e2.door=OPENING);
!(e1.door=OPEN);
!(e2.door=OPEN);
!(e1.door=CLOSING);
!(e2.door=CLOSING);
!(e1.movement=MOVING);
!(e2.movement=MOVING);