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

KS{
	Space mySpace{
		isInstalled(EmergencyPower, Space) = TRUE
	}

	isFirePartitioned(mySpace) = TRUE
}
 

Python Code 변환 예정