// 건축법 시행령 50조 (거실반자의 설치)
check(EDBA_50){
     IF (CS) THEN KS
}

CS{
     Building.usage != "Factory"
     OR Building.usage != "Warehouse"
     OR Building.usage != "FacilityForStorageAndTreatmentOfDangerousSubstance"
     OR Building.usage != "FacilityForAnimalAndPlant"
     OR Building.usage != "ResourceRecyclingFacility"
     OR Building.usage != "CemeteryAndRelatedFacility"
}

KS{
     getResult(REFB_16_1) = TRUE
     getResult(REFB_16_2) = TRUE
}