//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23조 (방화지구안의 지붕ㆍ방화문 및 외벽등) 1항

Check(REFB_23_1){

     IF CS THEN KS

}



CS{


     Building myBuilding{
getObjectProperty(Building.SpecialPurposeDistrict.type) = "FirePreventionDistrict"
     }



     Roof myRoof{

          hasObject(myBuilding, Roof) = TRUE

     }



     isObjectProperty(myRoof.isFireResistantStructure) != TRUE

}



KS{

     isObjectProperty(myRoof.Material.nonCombustibility) = TRUE

}