// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호
check(REFB_30_0_1){
       KS
}
KS{
     getResult(REFB_30_0_1_가) = TRUE
     getResult(REFB_30_0_1_나) = TRUE
     getResult(REFB_30_0_1_다) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 가목

check(REFB_30_0_1_가){

      KS

}

KS{

     FloorSlab myFloorSlab{

     isFireResistantStructure(FloorSlab) = TRUE

}

     Wall myWall{

     isFireResistantStructure(Wall) = TRUE

}

     Object  myElement{

          getObject(Platform.Object) - getObject(Opening)

     }

     isPartitioned(myElement, , myFloorSlab) = TRUE

     isPartitioned(myElement, , myWall) = TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 나목
check(REFB_30_0_1_나){
      KS
}
KS{
     isConnectedTo(Platform, Floor.One.Space) = TRUE
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     isInstalled(Door, Floor.One) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 다목

check(REFB_30_0_1_다){

      KS

}

KS{

     isObjectProperty(Space.InteriorFinish.Material.nonCombustibility)=TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 마목

Check(REFB_30_0_1_마){
      KS
}

KS{
     
        EC= getObjectCount(myElevator)  
        getFloorArea(myElevator.Platform)>=6*EC m2
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 아목



Check(REFB_30_0_1_아){

     IF !CS THEN KS

}



CS{

   isExist(SmokeExhaustionSystem)=True

   getResult(Unimplemented_EDIMSFA_*5_0_5_가)=True

}



KS{

    getResult(RFB_14_1)=True

    getResult(RFB_14_2)=True

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호
check(REFB_30_0_2){
      KS
}
KS{
     getResult(REFB_30_0_2_가) = TRUE
     getResult(REFB_30_0_2_나) = TRUE
     getResult(REFB_30_0_2_다) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 가목



Check(REFB_30_0_2_가){

      KS

}



KS{

          isFireResistantStructure(ElevatorShaft)  =True

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 나목



Check(REFB_30_0_2_나){

      KS

}



KS{

   Floor myFloor{

     isObjectProperty(Floor.isEscape)=True

   }

   

ElevatorShaft myElevatorShaft1{
     hasObject(Floor,ElevatorShaft)=TRUE
}
ElevatorShaft myElevatorShaft2{
     hasObject(myFloor,ElevatorShaft)=TRUE     


isConnectedTo(myElevatorShaf1t, myElevatorShaft2, SingleStructure)=TRUE


}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 2호 다목
check(REFB_30_0_2_다){
      KS
}
KS{
     isInstalled(Opening.TopSurface, SmokeExhaustionSystem)
     getResult(RFB_14) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호
check(REFB_30_0_3){
      KS
}
KS{
     getResult(REFB_30_0_3_가) = TRUE
     getResult(REFB_30_0_3_나) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 가목

check(REFB_30_0_3_가){

      KS

}

KS{

     FloorSlab myFloorSlab{

     isFireResistantStructure(FloorSlab) = TRUE

}

     Wall myWall{

     isFireResistantStructure(Wall) = TRUE

}

     Door myDoor{

     isObjectProperty(Door.isEntrance) = TRUE

     }

     Object myElement{

          getObject(Space.Object) - getObject(myDoor)

     }

     isPartitioned(myElement, , myFloorSlab) = TRUE

     isPartitioned(myElement, , myWall) = TRUE

}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 3호 나목
check(REFB_30_0_3_나){
      KS
}
KS{
     Door myDoor{
     isObjectProperty(Door.isEntrance) = TRUE
     }
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
}


// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준)
check(REFB_30){
      IF CS THEN KS
}
CS{
     getResult(REFB_29_1) = TRUE
}
KS{
     getResult(REFB_30_0_1) = TRUE
     getResult(REFB_30_0_2) = TRUE
     getResult(REFB_30_0_3) = TRUE
}