//     연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구)
Check(NFSC506_6){
     KS
}

KS{
     getResult(NFSC506_6_0_2) = TRUE
     OR getResult(NFSC506_6_0_4) = TRUE
     OR getResult(NFSC506_6_0_6) = TRUE
}


//     연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 2호
Check(NFSC506_6_0_2){
     KS
}

KS{

     Port myPort{
          getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     }

     isInstalled(myPort, CombustionProtectionSystem) = TRUE
     getObjectProperty(myPort.diameter) = 65mm
     getObjectProperty(myPort.shapeType) = "DoubleType"
}


//     연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 4호
Check(NFSC506_6_0_4){
     KS
}

KS{
     Port myPort{
          getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
          isInstalled(Port, CombustionProtectionSystem) = TRUE
     }
          
     getObjectVerticalLocation(myPort, Ground) >= 0.5m
     getObjectVerticalLocation(myPort, Ground) <= 1m
}



//     연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 6호
Check(NFSC506_6_0_6){
     KS
}

KS{
     Port myPort{
          getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     }

     Pipe myPipe2{
          isObjectProperty(Pipe.isRiser) = TRUE
     }


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

     Valve myValve{
          isObjectProperty(Valve.isShutoffValve) = TRUE
     }

     isInstalled(myValve, myPipe) = FALSE
}