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

KS{
	InhousePowerGeneratingStation myInhousePowerGeneratingStation{
		getResult(NFSC103_12_3_8_1) = TRUE
		OR getResult(NFSC103_12_3_8_2) = TRUE
		OR getResult(NFSC103_12_3_8_3) = TRUE
	}
	isInstalled(myInhousePowerGeneratingStation) = TRUE
} 

Python Code 변환 예정