⑤ 펌프의 흡입 측 배관은 다음 각 호의 기준에 따라 설치하여야 한다.

// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호
Check(NFSC102_6_5_1){
     KS
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe,Filter) = TRUE
}

// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 2호
Check(NFSC102_6_5_2){
     IF CS THEN KS
}
CS{
     getObjectVerticalLocation(Pump, Tank) < 0
}
KS{
     Pipe myPipe{
          isInstalled(Pump.Inlet, Pipe) = TRUE
     }
     isInstalled(myPipe, Pump.One) = TRUE
}