⑥연소방지설비 교차배관의 위치·청소구 및 가지배관의 헤드설치는 다음 각 호의 기준에 따른다.<개정 2012.8.20>

//연소방지설비의 화재안전 기준(nfsc 506) 4조 (배관) 6항 3호
Check(NFSC506_4_6_3){
     IF CS THEN KS
}

CS{
     Pipe myPipe{
          hasObject(CombustionProtectionSystem, Pipe) = TRUE
          isObjectProperty(Pipe.isBranchLines) = TRUE
     }

     Head myHead{
          getObjectProperty(Head.installationDirectionType) = "TopDownType"
     }

     isInstalled(myPipe, myHead) = TRUE
}

KS{
     Pipe myPipe{
          hasObject(CombustionProtectionSystem, Pipe) = TRUE
          isObjectProperty(Pipe.isBranchLines) = TRUE
     }

     Head myHead{
          getObjectProperty(Head.installationDirectionType) = "TopDownType"
     }

     Pipe myPipe2{
          isConnectedTo(myPipe, Pipe) = TRUE
          isConnectedTo(myHead, Pipe) = TRUE
     }

     isDiverged(가지관 상부, myPipe2) = TRUE
}