With the premise 'The door opened and Severn stepped out.', is 'They approached as the door was opened.' a logical derivative?
The door opened and Severn stepped out.###They approached as the door was opened.