// 건축법 시행령 34조 (직통계단의 설치) 5항
check(EDBA_34_5){
          getResult(REFB_8_1) = TRUE
          getResult(REFB_8-2_1) = TRUE
          getResult(REFB_8-2_2) = TRUE
          getResult(REFB_8-2_3) = TRUE
}



//건축법 시행령 34조 (직통계단의 설치) 2항3호

Check(EDBA_34_2_3){



     Floor myFloor{

           getFloorUsage()= “MultiUnitHouse”

          getObjectProperty(Floor.numberOfHousehold)>=4 



          OR getFloorUsage() = “BusinessFacility.Officetel”

     }     



                    getTotalFloorArea(myFloor.Room)>=300 m2



}


//건축법 시행령 34조 (직통계단의 설치) 2항4호
check(EDBA_34_2_4){

     IF getResult(EDBA_34_2_1)=FALSE
        OR getResult(EDBA_34_2_2)=FALSE
     OR getResult(EDBA_34_2_3)=FALSE
        THEN getTotalFloorNumber(myFloor.Room)>=400 m2
     END IF
}


//건축법 시행령 34조 (직통계단의 설치) 2항5호
check(EDBA_34_2_5){
     Floor myFloor {
          getFloorNumber()<0
     }
          
     getTotalFloorArea(myFloor.Room)>= 200 m2
}



// 건축법 시행령 34조 (직통계단의 설치) 1항

Check(EDBA_34_1){
     KS
}

KS{
Floor myFloor{
      isObjectProperty(Floor.isEscape) = TRUE
}

Space mySpace{
      getObjectProperty(Space.usage)="PerformanceHall"
      OR getObjectProperty(Space.usage)="AssemblyHall"
      OR getObjectProperty(Space.usage)="Auditorium"     
      OR getObjectProperty(Space.usage)="ExhibitionHall"
}

Door myDoor{
     isDirectlyAccessible(Door, Ground)=TRUE
}

Stair myStair{
     isObjectProperty(Stair.isDirect)=TRUE
     isAccessible(Stair,myFloor)=TRUE
     OR isAccessible(Stair,Ground)=TRUE
}

Ramp myRamp{
     isAccessible(Ramp,myFloor)=TRUE
     OR isAccessible(Ramp,Ground)=TRUE
}

Floor myFloor2{
     isObjectProperty(Floor.isEscape)=FALSE
     OR hasObject(Floor, myDoor)=FALSE
}

     Zone myZone{

          isDirectlyAccessible(myStair, Zone)=FALSE

     }

 

IF

     getFloorNumber(mySpace)>0

     getFloorArea(mySpace)<=300 m2

     isFireResistantStructure(MainStructuralPart)=TRUE

     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility)=TRUE 

     THEN IF        getBuildingStoriesCount()>=16

                    getBuildingUsage()="MultiUnitHouse"

               THEN ED= 40 

     ELSE THEN   ED=50               

     END IF



ELSE IF   

     getBuildingUsage() = "Factory" 

     isExist(ExtinguishingSystem)=TRUE 

     isObjectProperty(ExtinguishingSystem.isAutomatic)=TRUE

     getResult(REFB_8_2)=TRUE

     THEN IF        getBuildingUsage() = "UnmannedFactory" 

               THEN ED=100

     ELSE THEN  ED=75

     END IF 



ELSE THEN ED=30

     END IF 



     (hasObject(myFloor,myStair)=TRUE

     hasObject(myZone, myStair)=TRUE

     getObjectDistance(Room,myStair, 1)<=ED)

     OR 

     (hasObject(myFloor,myRamp)=TRUE

     hasObject(myZone, myRamp)=TRUE

     getObjectDistance(Room,myRamp, 1)<=ED)

}


//건축법 시행령 34조 (직통계단의 설치) 2항

Check(EDBA_34_2){

   IF (CS1 AND CS2) THEN KS

}



CS1{

     isObjectProperty(Floor.isEscape) = FALSE

}



CS2{

     getResult(EDBA_34_2_1)=TRUE

        OR getResult(EDBA_34_2_2)=TRUE

        OR getResult(EDBA_34_2_3)=TRUE  

        OR getResult(EDBA_34_2_4)=TRUE

        OR getResult(EDBA_34_2_5)=TRUE

}



KS{

        Floor myFloor{

        isObjectProperty(Floor.isEscape)=TRUE

        }



        Stair myStair{

                isObjectProperty(Stair.isDirect) = TRUE

                isAccessible(myFloor, Stair)= TRUE

                OR isAccessible(Ground,Stair) = TRUE

        }



        getObjectCount(myStair)>2 

        getResult(REFB_8_1) = True

}


//건축법 시행령 34조 (직통계단의 설치) 2항1호

Check(EDBA_34_2_1){

KS

}

KS{

Floor myFloor1{

       getObjectUsage(Floor) ="ClassIINeighborhoodLivingFacility.PerformanceHall"

       OR  getObjectUsage(Floor)="ClassIINeighborhoodLivingFacility.ReligiousAssemblyFacility"

}



Floor myFloor2 {

       getObjectUsage(Floor)="CulturalAndAssemblyFacility"

       getObjectUsage(Floor) != "CulturalAndAssemblyFacility.ExhibitionHall"          

       getObjectUsage(Floor) != "CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden“

          

       getObjectUsage(Floor) = "ReligiousFacility"

       getObjectUsage(Floor) = “AmusementFacility.BarBusiness"

       getObjectUsage(Floor) = “AmusementFacility.FuneralParlors“

}



      getTotalFloorArea(myFloor1.Space)>=300 m2

         OR getTotalFloorArea(myFloor2.Space)>=200 m2

        

}


//건축법 시행령 34조 (직통계단의 설치) 2항2호

Check(EDBA_34_2_2){



        Building myBuilding{

              getBuildingUsage()="DentalClinic"

        }


Space mySpace{
getSpaceUsage() = "Ward"
}
     Floor myFloor1 {

          getObjectProperty(Floor.number)>=3

                getObjectUsage(Floor)  = “DetachedHouse.MultiUserHouse”

          OR getObjectUsage(Floor)  = “DetachedHouse.MultiFamilyHouse”

          OR getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.EducationalInstitute”

          OR getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.ReadingRooms” 

                OR getObjectUsage(Floor)  = “CommercialFacility”

                OR getObjectUsage(Floor)  = “TransportationFacility.PassengerTrafficFacilities”

                OR ( getObjectUsage(Floor)  = “MedicalFacility” ADN hasObject(myBuilding, mySpace)=TRUE )

                OR getObjectUsage(Floor)  = “EducationAndResearchFacility.EducationalInstitutes” 

          OR getObjectUsage(Floor)  = “FacilitiesForTheAgedAndChildren.ChildrenRelatedFacilities” 

          OR getObjectUsage(Floor)  = “EducationAndResearchFacility.WelfareFacilityForTheAged” 

          OR getObjectUsage(Floor)  = “Trainingfacility.YouthHostel” 

          OR getObjectUsage(Floor)  = “LodgingFacility”

                

     }



     Floor myFloor2{

           getObjectUsage(Floor)  = “ClassIINeighborhoodLivingFacility.FacilityForProvidingInternetComputerGameService”

          }



           getTotalFloorArea(myFloor1.Room)>= 200 m2

          OR getTotalFloorArea(myFloor2.Room)>= 300 m2     

}


// 건축법 시행령 제 34조 (직통계단의 설치) 3항

check(EDBA_34_3){

          IF CS THEN KS ENDIF

}



CS{

isObjectProperty(Building.isHighriseBuilding) = TRUE

}

KS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE



          getObjectCount(myZone) >= getBuildingStoriesCount()/30

}


// 건축법 시행령 34조 (직통계단의 설치) 4항

check(EDBA_34_4){

          IF !CS THEN KS ENDIF

}

CS{

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

          isDirectlyAccessible(myStair, myFloor) = TRUE

          OR isDirectlyAccessible(myStair, Ground) = TRUE

}

                    

KS{

          isObjectProperty(Building.isQuasiHighriseBuilding) = TRUE

          Stair myStair{

                    isObjectProperty(Stair.isDirect) = TRUE               

          }

          Zone myZone{

                    isObjectProperty(Zone.isEgressSafetyZone) = TRUE

          }

          Floor myFloor{

                    isObjectProperty(Floor.isEscape) = TRUE

          }

                isGoThrough(myFloor, myZone, myStair) = TRUE

          OR isGoThrough(myFloor, Ground, myStair) = TRUE

          (getBuildingStoriesCount()/2)-5 < getFloorNumber(myZone)

                getFloorNumber(myZone) < (getBuildingStoriesCount()/2)+5

}