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



Check(NFSC503A_5_2_8){

	IF (!CS1 AND CS2) THEN KS

}

CS1{

	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

}

CS2{



getObjectVerticalLocation(Pump, WaterSource,) < 0 	

}

KS{

	isInstalled(PressurizedWaterSupplySystem, WaterLiftingDevice) = TRUE

	getResult(NFSC503A_5_2_가) = TRUE

	getResult(NFSC503A_5_2_나) = TRUE

} 

Python Code 변환 예정

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

Check(NFSC503A_5_2_8_가){
	KS
}
KS{
	isInstalled(WaterLiftingDevice, Tank)=TRUE
	isObjectProperty(Tank.isShared) = FALSE
} 

Python Code 변환 예정