The Red Lion is a public house offering a social space.