//  스프링클러설비의 화재안전기준(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
} 

Python Code 변환 예정

// 간이스프링클러설비의 화재안전기준(NFSC103a) 4조 (수원) 2항



Check(NFSC503A_4_2){

	IF !CS1 AND CS2 THEN KS	

}

CS1{

	getResult(NFSC503A_4_2_1) = TRUE

	OR getResult(NFSC503A_4_2_2) = TRUE

}

CS2{

	isObjectProperty(SimpleSprinklerSystem.Tank.isWaterSource) = TRUE

}

KS{

	isObjectProperty(Tank.isShared) = FALSE

} 

Python Code 변환 예정

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

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

Python Code 변환 예정