|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14902
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
4항
1호
"1. 공기고임이 생기지 아니하는 구조로 하고 여과장치를 설치할 것"
//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호
Check(NFSC503A_8_4_1){ KS } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe,Filter) = TRUE }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14903
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
4항
2호
"2. 수조가 펌프보다 낮게 설치된 경우에는 각 펌프(충압펌프를 포함한다)마다 수조로부터 별도로 설치할 것 "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호
Check(NFSC103A_8_4_2){ IF CS THEN KS } CS{ getObjectVerticalLocation(Pump, Tank) < 0 } KS{ Pipe myPipe{ isInstalled(Pump.Inlet, Pipe) = TRUE } isInstalled(myPipe, Pump.One) = TRUE }
|