Assertion list for term "open into empty shafts".

Results from Ascent++: 1
door (aspect of elevator) CapableOfopen into empty shafts 0.20