//건축법 시행령 8조 (건축허가) 3항 4호

Check(EDBA_8_3_4){
     KS
}
KS{
     getBuildingUsage() = "LodgingFacility"
}


//건축법 시행령 8조 (건축허가) 3항

Check(EDBA_8_3){
     KS
}

KS{
    getResult(EDBA_8_3_1)=True
    OR getResult(EDBA_8_3_2)=True
    OR getResult(EDBA_8_3_3)=True
    OR getResult(EDBA_8_3_4)=True
    OR getResult(EDBA_8_3_5)=True
   
}


//건축법 시행령 8조 (건축허가) 3항 2호

Check(EDBA_8_3_2){
     KS
}
KS{
     getBuildingUsage() = "ClassIINeighborhoodLivingFacility.Restaurant"
}


//건축법 시행령 8조 (건축허가) 3항 3호

Check(EDBA_8_3_3){
     KS
}
KS{
     getBuildingUsage() = "BusinessFacility.GeneralBusinessFacility"
}


//건축법 시행령 8조 (건축허가) 3항 1호

Check(EDBA_8_3_1){
     KS
}
KS{
     getBuildingUsage() = "MultiUnitHouse"
}


//건축법 시행령 8조 (건축허가) 3항 5호

Check(EDBA_8_3_5){
     KS
}
KS{
     getBuildingUsage() = "AmusementFacility"
}