check(EDBA_58){
     KS
}

KS{
     getResult(EDBA_58_0_1) = TRUE;
     getResult(EDBA_58_0_2) = TRUE;
}




check(EDBA_58_0_1){

     getGrossFloorArea() < 30m2;

     isObjectProperty(Building.isAttachedBuilding) = TRUE

     getBuildingStoriesCount() = 1;

     isFireResistantStructure(MainStructure) = TRUE

     OR isFireResistantStructure(ExternalWall) = TRUE;

}


check(EDBA_58_0_2){

     getBuildingUsage() < "WholeSale Market"

     isFireResistantStructure(MainStructure) = TRUE

}