Say a church has a k-12 school that uses the facility during the week through the school year, it is a ministry of the church, but a seperate entity. There is nothing that prohibits carry on Sunday, correct? What about carrying inside the builing when school is in session, but not in a part of the building that the school is using?