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