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

Check(NFSC503A_5_3){
	IF CS THEN KS
}
CS{
	isObjectProperty(PressurizedWaterSupplySystem.supplyType) = "ElevatedWaterTankType"
}
KS{
	getResult(NFSC503A_5_3_1)=TRUE
	getResult(NFSC503A_5_3_2)=TRUE

} 

Python Code 변환 예정