//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항

Check(RFB_17-2_1){

     IF CS THEN KS

}



CS{

     getResult(RFB_17-2_1_1) = TRUE

     OR getResult(RFB_17-2_1_2) = TRUE



     getGrossFloorArea() >= 10000m2

}



KS{

     Floor myFloor{

          getObjectProperty(Floor.number) <0

     }



     hasSpace(myFloor,WaterCutoffSystem) = TRUE

}


//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항 1호
Check(RFB_17-2_1_1){
     KS
}

KS{
     getResult(LPUA_37_1_5) = TRUE
}


//     건축물의 설비기준 등에 관한 규칙 17조의2 (차수설비) 1항 1호

Check(RFB_17-2_1_2){

     KS

}



KS{

     getResult(Unimplemented_CNDA_12_1) = TRUE

}