//스프링클러설비의 화재안전기준 11조 (송수구)
check(NFSC103_11){
     getResult(NFSC103_11_0_2)=TRUE
     getResult(NFSC103_11_0_3)=TRUE
     getResult(NFSC103_11_0_5)=TRUE
     getResult(NFSC103_11_0_6)=TRUE
}


//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 2호

Check(NFSC103_11_0_2){
     IF CS THEN KS
}

CS{
     Port myPort{
     isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     }
     Pipe myPipe{
     isObjectProperty(Pipe.isRiser)=TRUE
     }
     Valve myValve{
     isObjectProperty(Valve.isShutoffValve)=TRUE
     }
     isConnectedTo(myPort,Pipe)=TRUE
     isConnectedTo(Pipe,myPipe)=TRUE
     isInstalled(Pipe, myValve) = TRUE
}
KS{
     Space mySpace{
     isObjectProperty(Space.usage) = "MachineRoom"
     }
     isExternal(myValve)=TRUE 
     OR hasSpace(mySpace,myValve)=TRUE


//스프링클러설비의 화재안전기준 11조 (송수구) 3호
check(NFSC103_11_0_3){
     KS
}
KS{
     isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     isObjectProperty(Port.shapeType)="DoubleType"
     isObjectProperty(Port.diameter) = 65mm
}


//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 5호

Check(NFSC103_11_0_5){
     IF CS THEN KS
}
CS{
     isObject(Sprinkler.Head.openAndCloseType) = "EnclosedType"
}
KS{
     Port myPort{
     isObjectProperty(Port.typeForWater)="FireDepartmentConnection"
     }
     Space mySpace{
     isObjectProperty(Space.FloorSlab.area) = 3000m2
     }
     isInstalled(mySpace, myPort) = TRUE
     getObjectCount(mySpace.One.myPort) >= 1
     getObjectCount(myPort) <= 5
     
}


//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 6호

Check(NFSC103_11_0_6){
     KS
}
KS{
     Port myPort{
     isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
     }
     getObjectVerticalDistance(Ground, myPort, a) >= 0.5m
     getObjectVerticalDistance(Ground, myPort, a) <= 1m
}