//  건축법 시행령 57조 (     대규모 건축물의 방화벽 등) 1항
Check(EDBA_57_1){
     IF (CS1 AND CS2) THEN KS
}

CS1{
     getObjectProperty(MainStructuralPart.isFireResistantStructure) = TRUE
     OR getObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE
     OR getResult(EDBA_56_1_5) = TRUE
}

CS2{
     getObjectProperty(Building.grossFloorArea) >= 1000m2
}

KS{
     Space mySpace{
          getFloorArea(Space) < 1000m2
     }

     Space mySpace2{
          Space != mySpace
     }

     Wall myWall{
          isObjectProperty(Wall.isFireProofWall) = TRUE
     }

     isPartitioned(mySpace, mySpace2, myWall) = TRUE
}


check(EDBA_57_2){
     KS
}

KS{
     getResult(REFB_21_1) = TRUE                
}


//  건축법 시행령 57조 (대규모 건축물의 방화벽 등) 3항

Check(EDBA_57_3){

     IF CS THEN KS

}



CS{

     getObjectProperty(Building.grossFloorArea) >= 1000m2

     getObjectProperty(Building.Structure.materialType) = "Timber"

}



KS{

     getObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE

     OR getObjectProperty(MainStructuralPart.isFireProofStructure) = TRUE

}