//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 1항
Check(NFSC103_4_1){
     KS
}

KS{
     getResult(NFSC103_4_1_1) = TRUE
     getResult(NFSC103_4_1_2) = TRUE
}


//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항
Check(NFSC103_4_5){
     IF CS THEN KS
}

CS{
     isObjectProperty(Tank.isWaterSource) = TRUE

     (getResult(NFSC103_4_5_1) = FALSE
     OR getResult(NFSC103_4_5_2) = FALSE)
}

KS{
     isObjectProperty(Tank.isShared) = FALSE
}


//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 1호
Check(NFSC103_4_5_1){
     KS
}

Pump myPump{
     isInstalled(Pump, SprinklerSystem) = TRUE
}

Valve myValve{
     isObjectProperty(Valve.isFootValve) = TRUE
     isInstalled(Valve, myPump) = TRUE
}

Valve myValve2{
     isObjectProperty(Valve.isFootValve) = TRUE
     Valve != myValve
}

Pipe myPipe{
     isObjectProperty(Pipe.isObsorptionPipe) = TRUE
}

Obsorption myObsorptionOpening{
     isInstalled(ObsorptionOpening, myPipe) = TRUE
}

Obsorption myObsorptionOpening2{
     ObsorptionOpening != myObsorptionOpening
}

KS{
     getObjectVerticalLocation(myValve, myValve2) < 0
     OR getObjectVerticalLocation(myObsorptionOpening, myOpsorptionOpening2) < 0
}


//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 2호
Check(NFSC103_4_5_2){
     KS
}

Pipe myPipe{
     isObjectProperty(Pipe.isRiser) = TRUE
     isInstalled(Pipe, SprinklerSystem) = TRUE
}

Tank myTank{
     getObjectProperty(Tank.operationType) = "ElevatedWaterTank"
}

WaterSupplyOpening myWaterSupplyOpening{
     isConnectedTo(WaterSupplyOpening, myPipe) = TRUE
}

WaterSupplyOpening myWaterSupplyOpening2{
     WaterSupplyOpening != myWaterSupplyOpening
}

KS{
     getObjectVerticalLocation(myWaterSupplyOpening, myWaterSupplyOpening2) < 0
}




//  스프링클러설비의 화재안전기준 (nfsc 103) 4조 (수원) 7항
Check(NFSC103A_4_7){
     KS
}

KS{
     getResult(NFSC103_4_7_3) = TRUE
     getResult(NFSC103_4_7_4) = TRUE
     getResult(NFSC103_4_7_5) = TRUE
     getResult(NFSC103_4_7_6) = TRUE
}