// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치)2항 6호 Check(NFSC503A_5_2_6){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.isCirculationPipe) = TRUE } isInstalled(PressurizedWaterSupplySystem,myPipe) = TRUE }
Python Code 변환 예정