| 
//	스프링클러설비의 화재안전기준(nfsc 103) 12조 (전원) 3항
Check(NFSC103_12_3){
	IF (CS1 OR CS2 THEN KS1) OR (CS3 THEN KS2)
}
	Pump myPump{
		getObjectProperty(Pump.systemType) = "InternalCombustionEngines"
	}
CS1{
	getResult(Unimplemented_NFSC103_12_2) = TRUE
	getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"
	OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"
}
CS2{
	isInstalled(Pump, InternalCombustionEngines) = TRUE
	isInstalled(ControlStorageBattery, InternalCombustionEngine) = TRUE
}
KS1{
	getResult(NFSC103_12_3_4) = TRUE
	OR getResult(NFSC103_12_3_8) = TRUE
}
CS3{
	getResult(Unimplemented_NFSC103_12_2) = TRUE
	getObjectProperty(EmergencyPower.systemType) = "EmergencyPowerReceivingSystem"
}
KS2{
	getResult(Unimplemented_NFSC602) = TRUE
} 
 | 
Python Code 변환 예정
 |