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