//건축법 49조 (건축물의 피난시설 및 용도제한 등) 1항
Check(BA_49_1){
   IF CS THEN KS 
}

CS{
  getResult(EDBA_34_2)= TRUE
  OR getResult(EDBA_35_1) = TRUE
  OR getResuLt(EDBA_35_2) = TRUE
  OR getResuLt(EDBA_35_3) = TRUE
  OR getResuLt(EDBA_35_5) = TRUE
  OR getResult (EDBA_38) = TRUE
  OR getResuLt(EDBA_39_1) = TRUE
  OR getResuLt(EDBA_39_2) = TRUE
}

KS{

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

   isExist(Corridor) = TRUE
   isExist(Stair) = TRUE
   isExist(myDoor) = TRUE
   isExist(EvacuationFacility) = TRUE
   isExist(FireHydrant) = TRUE
   isExist(Tank) = TRUE
   isExist(ExtinguishingSystem)= TRUE
   isExist(Passage)=True

   getResult(REFB_11_1)= TRUE
   getResult(REFB_11_2)= TRUE
   getResult(REFB_11_3)= TRUE
   getResult(REFB_11_4)= TRUE
   getResult(REFB_11_5)= TRUE
}


//건축법 49조 (건축물의 피난시설 및 용도제한 등) 3항 

Check(BA_49_3){
   KS
}

KS{
   getResult(EDBA_53_1)=True
   getResult(EDBA_53_2)=True
}




//건축법 49조 (건축물의 피난시설 및 용도제한 등) 2항
Check(BA_49_2){
     IF CS THEN KS
}

CS{
    getResult(EDBA_34_1)= TRUE
    OR getResult(EDBA_34_3)= TRUE
    OR getResult(EDBA_34_4)= TRUE
    OR getResult(EDBA_46_1)= TRUE
    OR getResult(EDBA_46_2)= TRUE
    OR getResult(EDBA_46_3)= TRUE
    OR getResult(EDBA_46_4)= TRUE
    OR getResult(EDBA_46_5)= TRUE
    OR getResult(EDBA_47_1)= TRUE 
    OR getResult(EDBA_47_2)= TRUE
    OR getResult(EDBA_48_1)= TRUE 
    OR getResult(EDBA_48_2)= TRUE
    OR getResult(EDBA_50)= TRUE 
    OR getResult(EDBA_51_1)= TRUE 
    OR getResult(EDBA_51_2)= TRUE
    OR getResult(EDBA_51_3)= TRUE  
    OR getResult(EDBA_52)= TRUE
}

KS{
   getResult(REFB_3)= TRUE 
   AND getResult(REFB_4)= TRUE
   AND getResult(REFB_8)= TRUE
   AND getResult(REFB_9)= TRUE 
   AND getResult(REFB_10)= TRUE
   AND getResult(REFB_11)= TRUE
   AND getResult(REFB_14)= TRUE
   AND getResult(REFB_15)= TRUE 
   AND getResult(REFB_16)= TRUE
   AND getResult(REFB_17)= TRUE
   AND getResult(REFB_18)= TRUE
}