//     스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항

Check(NFSC103_16_2){

     IF CS THEN KS

}



     Pump myPump{

          isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump2{

          isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump3{

          isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump4{

          isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump5{

          isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump6{

          isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }



     Pump myPump7{

          isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE

          getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

     }





CS{

     isShared(myPump, myPump2) = TRUE

     OR isShared(myPump, myPump3) = TRUE

     OR isShared(myPump, myPump4) = TRUE

     OR isShared(myPump, myPump5) = TRUE

     OR isShared(myPump, myPump6) = TRUE

     OR isShared(myPump, myPump7) = TRUE

}



KS{

     getObjectProperty(myPump.ratedDischargeRate) = PRD



     getObjectProperty(myPump2.ratedDischargeRate) + getObjectProperty(myPump3.ratedDischargeRate) + getObjectProperty(myPump4.ratedDischargeRate) + getObjectProperty(myPump5.ratedDischargeRate) + getObjectProperty(myPump6.ratedDischargeRate) + getObjectProperty(myPump7.ratedDischargeRate) = TPRD



     PRD >= TPRD

}