
SYNTHESIZE: CompasBinaryRace;

    ENFORCE: IMPLICATION: 
        c_charge_degree == F AND v_score_text == Low IMPLIES diff_jail <= 75000;

END;
