symbols = {
    "LOCAL_FUZZY_UNKNOWN" {
        weight = 2.0;
    }
    "LOCAL_FUZZY_DENIED" {
        weight = 12.0;
    }
    "LOCAL_FUZZY_PROB" {
        weight = 5.0;
    }
    "LOCAL_FUZZY_WHITE" {
        weight = -3.0;
    }
}