//     연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 
Check(NFSC506_5){
     KS
}

KS{
     getResult(NFSC506_5_0_1) = TRUE
     getResult(NFSC506_5_0_2) = TRUE
     getResult(NFSC506_5_0_3) = TRUE
}


//     연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 1호

Check(NFSC506_5_0_1){

     KS

}



KS{

     Head myHead{

          isObjectProperty(Head.isDischargeHead) = TRUE

     }



     isInstalled(myHead, Ceiling.Structure) = TRUE

     OR isInstalled(myHead, Wall.Structure.) = TRUE     

}


//     연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 1호

Check(NFSC506_5_0_2){

     IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}



CS1{

Head myHead{
     Head.isDischargeHead = TRUE
}

     isObjectProperty(myHead) = TRUE

     isObjectProperty(Head.isShared) = FALSE

     isInstalled(Head, CombustionProtectionSystem) = TRUE

}



KS1{

     getObjectInterval(myHead) <= 2m

}



CS2{

     isObjectProperty(myHead) = TRUE

     isObjectProperty(Sprinkler.Head) = TRUE

}



KS2{

     getObjectInterval(myHead) <= 1.5m

}


//연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 3호
Check(NFSC506_5_0_3){
      KS 
}


KS{
  Zone myZone{
    isObjectProperty(Zone.isWateringZone)=True
  }

  Head myHead{
    isObjectProperty(Head.isDischargeHead)=True
  }
    
    isInstalled(myHead,Zone)=True 
    getObjectInterval(myHead)<=350 m
    getObjectLength(myZone)>=3 m
    
    
}