Given a premise, retrieve a hypothesis that is entailed by the premise.Anyhow he suggested sending us up in the coal lift instead of ringing the bell.
We can either ring the bell to go up or go up in the coal lift.
We are on the top level.