mnli premise: The elevator entrance (clearly signposted outside the cathedral) is in the right transept. hypothesis: There is a signpost outside of the cathedral that directs visitors to the elevator.