//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호 Check(NFSC503A_8_4_1){ KS } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe,Filter) = TRUE }
Python Code 변환 예정
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호 Check(NFSC102_6_5_1){ KS } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe,Filter) = TRUE }