//     연소방지설비의 화재안전기준(nfsc 506) 8조 (방화벽의 설치기준)
Check(NFSC506_8){
     KS
}

KS{
     getResult(NFSC506_8_0_1)
     getResult(NFSC506_8_0_2)
     getResult(NFSC506_8_0_3)
}



//     연소방지설비의 화재안전기준(nfsc 506) 8조 (방화벽의 설치기준) 1호
Check(NFSC506_8_0_1){
     KS
}

KS{
     Wall myWall{
          isObjectProperty(Wall.isFireProofStructure) = TRUE
     }

     isObjectProperty(myWall.isfireResistantStructure) = TRUE
}



//     연소방지설비의 화재안전기준(nfsc 506) 8조 (방화벽의 설치기준) 2호
Check(NFSC506_8_0_2){
     IF CS THEN KS
}
     Wall myWall{
          isObjectProperty(Wall.isFireProofWall) = TRUE
     }

     Door myDoor{
          isObjectProperty(Door.isEntrance) = TRUE
     }

CS{
     isInstalled(myDoor, myWall) = TRUE
}


KS{
     isObjectProperty(myDoor.isStrictFireproofDoor) = TRUE
     OR isObjectProperty(myDoor.isFireproofDoor) = TRUE
}


//     연소방지설비의 화재안전기준(nfsc 506) 8조 (방화벽의 설치기준) 3호

Check(NFSC506_8_0_3){

      KS

}



KS{



    Wall myWall{

        isObjectProperty(Wall.isFireProofWall)=True

    }

    

  IF   isInstalled(Wire, myWall)=True

  THEN   isObjectProperty(Wire.Finish.Material.isFireStop)= TRUE

  END IF



  IF  isInstalled(Cable, myWall)=True

  THEN   isObjectProperty(Cable.Finish.Material.isFireStop)= TRUE

  END IF



    

}