#2
vent1 := mech1 or mech2;
vent2 := mech1 or ...
vent3 := mech1 or ...