자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항 8호

Check(NFSC203_7_5_6){
	IF CS THEN KS
}
CS{
	Space mySpace{
	isExternal(Space) = FALSE
	}
	(mySpace.volume) <= 20m3
}
KS{
	isInstalled(Sensor) = FALSE
} 

Python Code 변환 예정

//특별피난계단의 계단실 및 부속실 제연설비의 화재안전기준(nfsc 501a) 19조 (급기송풍기) 2호



Check(NFSC501A_19_0_2){

   KS

}



KS{

    isInstalled(AirVolumeControlDevice, AirBlower)=True

} 

Python Code 변환 예정