//건축법 시행령 35조(피난계단의 설치) 1항
Check(EDBA_35_1){
     IF (!CS1 AND !CS2 AND CS3) THEN KS
}

CS1 {
     isFireProofStructure(MainStructuralPart) = TRUE
     OR isObjectProperty(MainStructuralPart.Material.nonCombustibility) = TRUE
}

CS2 {
     getResult(EDBA_35_1_1) = TRUE
     OR getResult(EDBA_35_1_2) = TRUE
}

CS3{
     Floor myFloor {
          Floor.number > 5
          OR Floor.number <= -2
     }

     Stair myStair {     
          isObjectProperty(Stair.isDirect) = TRUE
     }

     hasElement(myFloor, myStair) = TRUE
}

KS {
     isObjectProperty(myStair.isEscape) = TRUE
     OR isObjectProperty(myStair.isSpecialEscape) = TRUE
}


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

}


//건축법 시행령 35조 (피난계단의 설치) 2항
check(EDBA_35_2){
     IF (CS1 AND CS2) THEN KS
}

CS1{
     Building.usage != "MultiUnitHouse.SideCorridorTypeMultiUnitHouse"
}

CS2{
     Floor myFloor{
           IF (Building.usage = "MultiUnitHouse“) 
               THEN getFloorNumber(Floor) >= 16
               ELSE           
               getFloorNumber(Floor) >= 11
               ENDIF

           OR getFloorNumber(Floor) < -3
          getFloorArea(Floor) >= 400m2
     }

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

     hasObject(myFloor, myStair) = TRUE
}

KS{
     isObjectProperty(myStair.isSpecialEscape) = TRUE
}



//건축법 시행령 35조 (피난계단의 설치) 3항
check(EDBA_35_3){
     IF (CS) THEN KS
CS{
     getResult(EDBA_35_1) = TRUE

     Floor myFloor {
          Floor.usage = “CommercialFacility”
     }

     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     isAccessible(myFloor, myStair) = TRUE
}

KS{
     isObjectProperty(one.myStair.isSpecialEscape) = TRUE
}



//건축법 시행령 35조 (피난계단의 설치) 5항
check(EDBA_35_5){
     IF (CS) THEN KS
}

CS{
     Floor myFloor{
          Floor.number >= 5
          OR Floor.usage = "CulturalAndAssemblyFacility.ExhibitionHall"
          OR Floor.usage = "CulturalAndAssemblyFacility.ZoologicalAndBotanicalGarden"
          OR Floor.usage = "CommercialFacility"
          OR Floor.usage = "PassengerTrafficFacilities“??
          OR Floor.usage = "SportsFacility"
          OR Floor.usage = "AmusementFacility"
          OR Floor.usage = "FacilityForTourismAndRelaxation“???
          OR Floor.usage = "Trainingfacility.TrainingFacilityInLivingZone“
     }

     isExist(myFloor)=True           
}

KS{     
     Stair myStair2{
          isObjectProperty(Stair.isSpecialEscape) = True
          OR isObjectProperty(Stair.isEscape) = True
     }

     getResult(EDBA_34) = TRUE

     IF (getTotalFloorArea(myFloor.Space) >= 2000m2)           
          THEN getObjectCount(myStair2) >= 1+ getFloorArea(myFloor.Space)/2000
}