mnli premise: Shuttle buses run regularly from St. Peter's Square to the museum entrance and back, otherwise a 20-minute walk. hypothesis: It is a chore to walk from St. Peter's Square to the museum entrance.