Emperor Frederick III rode his horse up its spiral ramp (tourists can opt for the elevator).
Tourists may take the elevator if they please.
mnli hypothesis: Tourists may take the elevator if they please. premise: Emperor Frederick III rode his horse up its spiral ramp (tourists can opt for the elevator).