//건축법 시행령 35조(피난계단의 설치) 1항1호 Check(EDBA_35_1_1){      KS } KS {      Floor myFloor {      getObjectProperty(Floor.number) >= 5      }      getTotalFloorArea(myFloor) <= 200m2 }

//건축법 시행령 35조(피난계단의 설치) 1항2호

Check(EDBA_35_1_2){

     KS

}



KS {

     Floor myFloor {

           Floor.number >= 5

     }



     isFirePartition(myFloor, a, 200) = TRUE

}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 1항

Check(REFB_9_1){

     IF (CS1) THEN KS1 ELSE IF (CS2) THEN KS2

CS1{

     Floor myFloor1 {

               Floor.number > 5

               OR Floor.number <= -2

               }

     Stair myStair1 {

          isObjectProperty(Stair.isDirect) = TRUE

     }

Floor myFloor2 {

isObjectProperty(Floor.isEscape)= TRUE

}



     isGoThrough(myFloor1, myStair1, myFloor2)= TRUE

     OR isGoThrough(myFloor1, myStair1, Ground) = TRUE

}



CS2{     

     Floor myFloor3 {

          Floor.number >= 5

     }

     

     Stair myStair3 {

          isObjectProperty(Stair.isDirect) = TRUE

          (isGoThrough(myFloor3, myFloor2, Stair) = TRUE

          OR isGoThrough(myFloor3, Ground, Stair) = TRUE)

          }

     Stair myStair2 {

          Stair.Floor.number = -1

          }



     isDirectlyAccessible(myStair2, myStair3)=TRUE

          

KS1 {     

     (isObjectProperty(myStair1.isEscape) = TRUE

     OR isObjectProperty(myStair1.isSpecialEscape) = TRUE)

}

KS2{

(isObjectProperty(myStair2.isEscape) = TRUE

     OR isObjectProperty(myStair2.isSpecialEscape) = TRUE)

(isObjectProperty(myStair3.isEscape) = TRUE

     OR isObjectProperty(myStair3.isSpecialEscape) = TRUE)

}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 2항
check (REFB_9_2){
     getResult(REFB_9_2_1) = TRUE
     getResult(REFB_9_2_2) = TRUE
     getResult(REFB_9_2_3) = TRUE
     
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 3항 Check(REFB_9_3) {      KS } KS {      Stair myStair1{           isObjectProperty(Stair.isEscape)=TRUE           OR isObjectProperty(Stair.isSpecialEscape)=TRUE }      Space mySpace{           getObjectProperty(Space.usage) = “RooftopPlaza” }           hasObject(Rooftop, mySpace)=TRUE }      Stair myStair2{           hasObject(mySpace.Building,myStair1)=TRUE }           getObjectProperty(myStair.type)!= “WindingStair”      isAccessible(myStair2,mySpace)=TRUE      isEgressDirection(mySpace.Door) = TRUE }

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 9조 (피난계단 및 특별피난계단의 구조) 4항
Check(REFB_9_4) {
     KS
}
     Building myBuilding{
          Building.usage = “SideCorridorTypeMultiUnitHouse”
}

     Space mySpace = getSpace(“Corridor”)
     isConnectedToExternal(mySpace)=TRUE

// 건축법 시행령 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 }