Assertion list for term "leave the equipment room".

Results from Ascent++: 1
circuit CapableOfleave the equipment room 0.41