// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 16조 (거실의 반자높이) 1항

check(REFB_16_1){

     IF (CS) THEN KS

}



CS{

     getResult(REFB_16_2) = FALSE

}



KS{

     getSpaceHeight(Room, b) >= 2.1m

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 16조 (거실의 반자높이) 2항

check(REFB_16_2){

IF (CS1 AND CS2) THEN KS

}



CS1{



VentilatorEquipment myVentilatorEquipemnt{

isObjectProperty(VentilatorEquipment.isMechanical)=TRUE

}

     isExist(myVentilatorEquipemn) = FALSE 

}



CS2{

     Space mySpace{

          getSpaceUsage(Space) = “Auditorium”

          OR getSpaceUsage(Space) = “AssemblyHall”

     }



     ((getBuildingUsage() = “CulturalAndAssemblyFacilities.Tavern”

     getBuildingUsage() != “ExhibitionHalls.Tavern”

     getBuildingUsage() != “ZoologicalAndBotanicalGardens.Tavern”)

     OR getBuildingUsage() = "ReligiousFacilities.Tavern”