CR-180
Petition for Dismissal
select(prereqs,X) :: holds(prereqs,X)
deselect(prereqs,X) :: ~holds(prereqs,X)
select(prelim_question,X) :: holds(prelim_question,X)
deselect(prelim_question,X) :: ~holds(prelim_question,X)
offense(health_and_safety,11359)
offense(penal_code,487.d.1)
offense(penal_code,647.b)
offense(vehicle_code,23152.a)
offense(vehicle_code,2800.4)
select(code(N),C) :: code(N,C)
select(code(N),C1) :: code(N,C2) ==> ~code(N,C2)
select(code(N),C) :: offense(C,S1) & section(N,S2) ==> ~section(N,S2)
value(code(N),C) :- code(N,C)
select(section(N),S) :: section(N,S)
select(section(N),S1) :: section(N,S2) ==> ~section(N,S2)
select(section(N),S) :: offense(C,S) ==> code(N,C)
select(section(N),S) :: offense(C1,S) & code(N,C2) ==> ~code(N,C2)
select(section(N1),S) :: offense(C,S) & section(N2,S) & distinct(N1,N2) ==> ~code(N2,C) & ~section(N2,S)
value(section(N),S) :- section(N,S)
select(charge_type(N),T) :: charge_type(N,T)
select(charge_type(N),T1) :: charge_type(N,T2) ==> ~charge_type(N,T2)
value(charge_type(N),T) :- charge_type(N,T)
style(no_sentence,color,black) :- holds(prereqs,no_sentence)
style(no_sentence,color,red) :- ~holds(prereqs,no_sentence)
style(no_probation,color,black) :- holds(prereqs,no_probation)
style(no_probation,color,red) :- ~holds(prereqs,no_probation)
style(no_charge,color,black) :- holds(prereqs,no_charge)
style(no_charge,color,red) :- ~holds(prereqs,no_charge)
prereqs_sat :- holds(prereqs,no_sentence) & holds(prereqs,no_probation) & holds(prereqs,no_charge)
felony :- charge_type(N,felony)
misdo :- charge_type(N,misdemeanor)
infraction :- charge_type(N,infraction)
style(g_prob,color,black) :- or(felony,misdo)
style(g_prob,color,red) :- and(~felony,~misdo)
style(ot_prob,color,black) :- or(misdo,infraction)
style(ot_prob,color,red) :- and(~misdo,~infraction)
style(mis_one_yr,color,black) :- or(misdo,infraction)
style(mis_one_yr,color,red) :- and(~misdo,~infraction)
style(fel_two_yrs,color,black) :- felony
style(fel_two_yrs,color,red) :- ~felony
style(hum_traff,color,black) :- code(N,penal_code) & section(N,647.b)
style(hum_traff,color,red) :- ~section(N,647.b)
style(pers_info,background-color,white) :- prereqs_sat
style(pers_info,background-color,gray) :- ~prereqs_sat
style(details,background-color,white) :- prereqs_sat
style(details,background-color,gray) :- ~prereqs_sat
style(preliminary_questions,background-color,white) :- prereqs_sat
style(preliminary_questions,background-color,gray) :- ~prereqs_sat
style(1203.4,background-color,white) :- prereqs_sat & holds(prelim_question,g_prob) & or(felony,misdo)
style(1203.4,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,g_prob) | and(~felony,~misdo)
style(1203.4a,background-color,white) :- prereqs_sat & holds(prelim_question,ot_prob) & holds(prelim_question,complied_sentence) & holds(prelim_question,mis_one_yr) & or(misdo,infraction)
style(1203.4a,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,ot_prob) | ~holds(prelim_question,complied_sentence) | ~holds(prelim_question,mis_one_yr) | and(~misdo,~infraction)
style(1203.49,background-color,white) :- prereqs_sat & holds(prelim_question,hum_traff) & section(N,647.b)
style(1203.49,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,hum_traff) | ~section(N,647.b)
style(1203.41,background-color,white) :- prereqs_sat & holds(prelim_question,mando_sup) & felony
style(1203.41,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,mando_sup) | ~felony
style(1203.42,background-color,white) :- prereqs_sat & holds(prelim_question,mando_sup) & holds(prelim_question,fel_two_yrs) & felony
style(1203.42,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,mando_sup) | ~holds(prelim_question,fel_two_yrs) | ~felony
style(1203.43,background-color,white) :- prereqs_sat & holds(prelim_question,def_judgment)
style(1203.43,background-color,gray) :- ~prereqs_sat | ~holds(prelim_question,def_judgment)
style(submit,background-color,white) :- style(1203.4,background-color,white) | style(1203.4a,background-color,white) | style(1203.49,background-color,white) | style(1203.41,background-color,white) | style(1203.42,background-color,white) | style(1203.43,background-color,white)
style(submit,background-color,gray) :- style(1203.4,background-color,gray) & style(1203.4a,background-color,gray) & style(1203.49,background-color,gray) & style(1203.41,background-color,gray) & style(1203.42,background-color,gray) & style(1203.43,background-color,gray)
|