//     비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기)
Check(NFSC201_5){
     KS
}

KS{
     getResult(NFSC201_5_1) = TRUE
     getResult(NFSC201_5_2) = TRUE
     getResult(NFSC201_5_4) = TRUE
}


//     비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 1호

Check(NFSC201_5_0_1){

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

}



CS1{

     Room myRoom{

          getFloorArea(Room) <= 150m2

     }



     Room myRoom2{

          isAdjacent(myRoom, Room) = TRUE

     }



     getFloorArea(myRoom2) <= 30m2

}



KS1{

     Room myRoom{

          getFloorArea(Room) <= 150m2

     }



     Room myRoom2{

          isAdjacent(myRoom, Room) = TRUE

     }



     SelfcontainedTypeFireAlarmDevice mySelfcontainedTypeFireAlarmDevice{

          hasSpace(myRoom, SelfcontainedTypeFireAlarmDevice) = TRUE

     }



     isExist(mySelfcontainedTypeFireAlarmDevice) = TRUE

}



CS2{

     Room myRoom{

          getFloorArea(Room) > 150m2

     }



     Room myRoom2{

          isAdjacent(myRoom, Room) = TRUE

     }



     getFloorArea(myRoom2) <= 30m2

}



KS2{

     Room myRoom{

          getFloorArea(Room) > 150m2

     }



     Room myRoom2{

          isAdjacent(myRoom, Room) = TRUE

     }

Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarmDevice) = TRUE
          hasSpace(myRoom, Sensor ) = TRUE
}



     isInstalled(myRoom, mySelfcontainedTypeFireAlarmDevice, c, 150m2) = TRUE

}


//     비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 2호

Check(NFSC201_5_0_2){

     KS

}



KS{

     Ceiling myCeiling{

          hasSpace(Building.TopFloor.Stair.Space, Ceiling) = TRUE

     }
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarmDevice) = TRUE
}


     isInstalled(myCeiling, mySensor) = TRUE

}