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

Check(NFSC203_7_5_5){
	IF CS THEN KS
}
CS{
	Space mySpace1{
	getSpaceUsage() = "Toliet"
	}
	Space mySpace2{
	getSpaceUsage() = "Bathoroom"
	}
	isInstalled(mySpace1, mySpace2) = TRUE
	
KS{
	isInstalled(Sensor) = FALSE
} 

Python Code 변환 예정