With regard to Building Regulations, what specifically does the term 'public building' refer to?

This is any construction containing any of the following:

· theatre, public library, hall or other place of public resort;

· a school or other educational establishment;

· a place of public worship.