// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 나목
Check(NFSC503A_8_16_1_나){
KS
}
KS{
ShutdownEquipment myShutdownEquipment{
isObjectProperty(ShutdownEquipment.type) = "Water"
}
Pipe myPipe{
isObjectProperty(Pipe.systemType) != "SimpleSprinklerSystem"
}
isInstalled(myShutdownEquipment, myPipe) = TRUE
}
|
Python Code 변환 예정
|