//  간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호 가목

Check(NFSC103A_5_2_7_1){

	KS

}



KS{

	getObjectProperty(Pump.dischargePressure) = PDP

	getObjectProperty(Sprinkler.dischargePressure) = SDP

	getObjectProperty(PressurizedWaterSupplySystem.ratedDischargePressure) = PWSDP

	

	(SDP + 0.2 <= PDP)

	OR(PDP = PWSDP)

} 

//  간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 6항 2호

Check(NFSC103A_8_6_2){

	KS

}

KS{

	Pipe myPipe{

		isObjectProperty(Pipe.isForTest) = TRUE

	}

	

	isConnectedTo(myPipe, DischargeMeasuringEquipment) = TRUE

	getObjectProperty(DischargeMeasuringEquipment.measurementCapacity) = DME

	getObjectProperty(Pump.ratedDischargePressure) = PDP



	PDP*1.75 <= DME

}