//간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 3호 Check(NFSC103A_8_13_3){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.isFeedMains) = TRUE } isInstalled(Hanger, myPipe, b, 4.5) = TRUE getObjectCountInInterval(Hanger, myPipe) >= 1 }
Python Code 변환 예정