//건축법 시행령 56조 (건축물의 내화구조) 1항 1호

check(EDBA_56_1_1){

     KS

}


Space mySpace{
Space.usage = "Auditorium "
isExternal(Space) = TRUE
}



KS {

        (getBuildingUsage() = "PerformanceHall" | "ReligiousAssemblyFacility"

        AND getFloorArea(getSpace("PerformanceHall" | “ReligiousAssemblyFacility”)) > = 300m2;)

     

        OR (getBuildingUsage() = "CulturalAndAssemblyFacility" 

        AND getBuildingUsage() != "ExhibitionHall" | "ZoologicalAndBotanicalGarden"

        

        OR (getBuildingUsage() = "ReligiousFacility" | "BarBusiness" | "FuneralParlor"

     AND getFloorArea(getSpace(“Seat” | “AssemblyHall”) > = 200m2 

        OR getFloorArea(mySpace) > = 1000m2;)

}


//건축법 시행령 56조 (건축물의 내화구조) 1항 2호

check(EDBA_56_1_2){

        KS

}

     

KS{

        (getBuildingUsage() = "ExhibitionHall" |  "ZoologicalANDbotanicalGarden" | "CommercialFacility"  | "TransportationFacilities"  | "gymnasium.educationAndresearchFacilities"   | "hall.educationAndresearchFacilities" | "gymnasium" | "sportsfacilities.stadium" | "sports facilities.warehouses"  | "factory.facilitiesForStorageAndreatmentOfDangerousSubstance"  | "factory.facilitiesForMotorVehicles" | "facilitiesforbroadcastingAndTelecommunications.broadcastingStation"  | "facilitiesforbroadcasting andtelecommunications.telegraphAndTelephoneStations" | "facilitiesforbroadcasting and telecommunications.studio" | "cemeteries and relatedfacilities.Crematorium | "facilitiesfortourismandrelaxation"

OR (getBuildingUsage() = "amusementfacilities"

AND getBuildingUsage() != "barbusiness.amusementfacilities"))

AND getFloorArea(getSpace(getBuildingUsage()) > = 500m2))

}


//건축법 시행령 56조 (건축물의 내화구조와 방화벽) 1항 3호
check(EDBA_56_1_3){
     IF !(CS) THEN KS
}

CS{
     getResult(REFB_20-2) = TRUE
}

KS{
     Floor myFloor{
          getObjectUsage(Floor) = "Factory"
     }

     getTotalFloorArea(myFloor.Space) >= 2000 m2
}


//건축법 시행령 56조 (건축물의 내화구조와 방화벽) 1항 4호
check(EDBA_56_1_4){
     
     Floor myFloor{

          getFloorNumber = 2

          getObjectUsage(Floor) = "DetachedHouse.MultiUserHouse"
          OR getObjectUsage(Floor) = "DetachedHouse.MultiFamilyHouse"
          OR getObjectUsage(Floor) = "DetachedHouse.MultiFamilyHouse"
          OR getObjectUsage(Floor) = "MultiUnitHouse"
          OR getObjectUsage(Floor) = "ClassINeighborhoodLivingFacility.MedicalFacility"
          OR getObjectUsage(Floor) = "ClassIINeighborhoodLivingFacility.CommunalLivingFacility"
          OR getObjectUsage(Floor) = "MedicalFacility"
          OR getObjectUsage(Floor) = "FacilitiesForTheAgedAndChildren.ChildrenRelatedFacility"
          OR getObjectUsage(Floor) = "FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged "
          OR getObjectUsage(Floor) = "Trainingfacility.YouthHostel"
          OR getObjectUsage(Floor) = "BusinessFacility.Officetel"
          OR getObjectUsage(Floor) = "LodgingFacility"
          OR getObjectUsage(Floor) = "FuneralParlor"
     }
     
     getFloorArea(myFloor) >= 400 m2
}


//건축법 시행령 56조 (건축물의 내화구조) 2항

check(EDBA_56_2){

     IF (!CS1 AND CS2) THEN !KS



CS1{

        getResult(EDBA_56_1_1)=TRUE

        AND getResult(EDBA_56_1_2)=TRUE

}



CS2{

        getObjectMaterialType(RoofTruss)= "NonCombustibleMaterial"

}



KS{

        isFireResistantStructure(RoofTruss) = TRUE

}


//건축법 시행령 56조 (건축물의 내화구조) 1항

check(EDBA_56_1){

        IF !CS THEN KS

}

Space mySpace{
Space.usage="StagePart"
}

Floor myFloor{

     hasSpace(mySpace, Floor) = TRUE

}



CS {

       getTotalFloorArea()<= 50m2

       AND getBuildingStoriesCount()=1

       AND getBuildingUsage()="AccessoryBuidling"

       AND isFireProofStructure("OuterWall" | "eaves" | myFloor)=TRUE

}



KS {

     getResult(EDBA_56_1_1 = TRUE  

     OR getResult(EDBA_56_1_2) = TRUE  

     OR getResult(EDBA_56_1_3) = TRUE  

     OR getResult(EDBA_56_1_4) = TRUE  

     OR getResult(EDBA_56_1_5) = TRUE  

             

     AND isFireProofStructure(MainStructuralPart) = TRUE

}


//건축법 시행령 56조 (건축물의 내화구조) 1항 5호

check(EDBA_56_1_5){

     IF !CS THEN KS

}

Building myBuilding{

     getBuildingUsage() = "PowerPlant"

     isObjectProperty(Building.isAttachedBuilding) = TRUE

}


Building  myBuilding{

     getResult(REFB_*_3_30) = TRUE

     getResult(REFB_*_3_31) = TRUE

}



CS{

         getBuildingUsage() = "facilities for animals and plants"

                                       

                              | "facilities for power generation"

                              | "correctional facilities and military installations.prison"

                              | "correctional facilities and military installations.reformatories 

                              | "myFactory"



      OR (getBuildingUsage() = "detached houses"

             AND getBuildingUsage() != "detached houses.multi-user houses" 

                                     | "detached houses.multi-family houses" )



      OR (getBuildingUsage() = "facilities for power generation" 

      AND (getBuildingUsage() = "myBuilding"



      OR (getBuildingUsage() = "cemeteries and related facilities"

      AND getBuildingUsage() != "Crematorium") 





}



KS{

Floor myFloor{
Floor.number < 0
}

          getBuildingStoriesCount() >= 3 

       AND isExist(myFloor) = TRUE

}