exploit brake_pads(car1)=
	preconditions:
		quality:car1,months=6;
		quality:car1,is_in_compliance=true;
	postconditions:
		update quality:car1,is_in_compliance=false;
.

exploit exhaust_pipes(car2)=
	preconditions:
		quality:car2,months=6;
		quality:car2,is_in_compliance=true;
	postconditions:
		update quality:car2,is_in_compliance=false;
.

exploit compliance(car1)=
	preconditions:
		quality:car1,is_in_compliance=false;
	postconditions:
		insert quality:car1,reg=true;
.

exploit error(car1)=
	preconditions:
		quality:car1,months>8;
	postconditions:
		insert quality:car1,e=true;
.