//     비상경보설비의 화재안전기준 (nfsc 201) 4조 (비상벨설비 또는 자동식사이렌설비) 2항



Check(NFSC201_4_2){

    KS

}



KS{

     Floor myFloor{

          hasSpace(Floor, SpecificFireFightingBuilding) = TRUE

     }

AcousticSystem myAcousticSystem{
isObjectProperty(AcousticSystem.isForPublic) = TRUE
}

     isInstalled(myAcousticSystem, myFloor) = TRUE

     (getObjectDistance(myAcousticSystem, Wall.Structure.) <= 25m


//     비상경보설비의 화재안전기준(NFSC 201) 4조 (전원 및 콘센트 등 ) 5항
Check(NFSC201_4_5){
     IF !CS THEN KS
}

CS{
     getObjectProperty(Floor.number) < 0
}

KS{
     getResult(NFSC201_4_5_1) = TRUE
     getResult(NFSC201_4_5_2) = TRUE
}


//     비상경보설비의 화재안전기준(NFSC 201) 4조 (비상벨설비 또는 자동식사이렌설비) 5항 1호

Check(NFSC201_4_5_1){

     KS

}



KS{

     Switch mySwitch{
isObjectProperty(Switch.ControlSwitch) = TRUE
          isInstalled(Transmitter, Switch) = TRUE

     }



     getObjectVerticalLocation(FloorSlab, mySwitch) <= 1.5m

     getObjectVerticalLocation(FloorSlab, mySwitch) >= 0.8m

}


// // 스프링클러설비의 화재안전기준(NFSC 103) 4조 (비상벨설비 또는 자동식사이렌설비) 5항 2호



Check(NFSC201_4_5_1){

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

CS1{

     getObjectDistance(Corridor | Space, Transmitter) < 40m

}

KS1{

     isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE

     getOjectCount(Transmitter) = 1

     getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m

}



CS2{

     getObjectDistance(Corridor | Space, Transmitter) >= 40m

}

KS2{

     isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE

     getOjectCount(Transmitter) >= 2

     getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m

}