//주택건설기준 등에 관한 규정 15조 (승강기등) 1항
Check(RHC_15_1){
     getResult(RHC_15_5) = TRUE AND IF (CS1 AND !CS2) THEN KS
}

CS1{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 6
}

CS2{
     getBuildingStoriesCount = 6
     
     Stair myStair{
          isObjectProperty(Stair.isDirect) = TRUE
     }

     getFloorArea() = FA
     FA / 300 = FA2
     getIntegeralNumber(FA2) = FA3
     getObjectCount(myStair) >= FA3
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.occupancy) >= 6
     }

     isExist(myElevator) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 2항
Check(RHC_15_2){
     IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 10
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.cooupancy) >= 6
          isObjectProperty(Elevator.isEmergency) = TRUE
     }

     isExist(myElevator) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항
Check(RHC_15_3){
     getResult(RHC_15_5) = TRUE AND IF CS THEN KS
}

CS{
     getBuildingUsage() = "MultiUnitHouse"
     getBuildingStoriesCount() >= 7
}

KS{
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}


//  주택건설기준 등에 관한 규정 15조 (승강기등) 3항 1호
Check(RHC_15_3_1){
     KS
}

KS{
     getObjectProperty(Elevator.loadingCapacity) >= 0.9
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 2호
Check(RHC_15_3_2){
     KS
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     (getObjectWidth(myElevator) >= 1.35m
     getObjectDepth(myElevator) >= 1.6m)
     OR(getObjectWidth(myElevator) >= 1.6m
     getObjectDepth(myElevator) >= 1.35m)
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 3호
Check(RHC_15_3_3){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isInstalled(myElevator, Stair.Space) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 3항 4호
Check(RHC_15_3_4){
     IF CS THEN KS
}

CS{
     
}

KS{
     Elevator myElevator{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     getObjectCount(myElevator) = ELV
     100*n <= getObjectProperty(Building.numberOfHousehold) <100*(n+1)
     n <= ELV
}



//주택건설기준 등에 관한 규정 15조 (승강기등) 4항
Check(RHC_15_4){
     IF CS THEN KS
}

CS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     getResult(RHC_15_1) = TRUE
     getResult(RHC_15_2) = TRUE
     getResult(RHC_15_3_1) = TRUE
     getResult(RHC_15_3_2) = TRUE
     getResult(RHC_15_3_3) = TRUE
     getResult(RHC_15_3_4) = TRUE
}

KS{
     Elevator myElevator{
          isObjectProperty(Elevator.isEmergency) = TRUE
          OR getObjectProperty(Elevator.usage) = "PassengerElevator"
     }

     Elevator myElevator2{
          getObjectProperty(Elevator.usage) = "FreightElevator"
     }

     isReplaced(myElevator2, myElevator) = TRUE
}


//주택건설기준 등에 관한 규정 15조 (승강기등) 5항

Check(RHC_15_5){
     KS
}
KS{
     getResult(RHC_15_1) = TRUE
     getResult(RHC_15_2) = TRUE
     getResult(RHC_15_3) = TRUE
}