| 
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 6호
Check(NFSC203_7_3_7){
	IF CS THEN KS
}
CS{
	Sensor mySensor{
	getObjectProperty(Sensor.lineTypeEnum) = "ThermopneumaticTube"
	getObjectProperty(Sensor.sensingMode) = "DifferentialTemperatureType"
	getObjectProperty(Sensor.sensingRange) = "SpotType"
	}
	isInstalled(mySensor) = TRUE
}
KS{
	
	getResult(NFSC_7_3_7_1) = TRUE
	getResult(NFSC_7_3_7_2) = TRUE
	getResult(NFSC_7_3_7_3) = TRUE
	getResult(NFSC_7_3_7_4) = TRUE
	getResult(NFSC_7_3_7_5) = TRUE
	getResult(NFSC_7_3_7_6) = TRUE
} 
 |