network model = 
	assets:
		# Cars
		car1;
		car2;

	facts:
		quality:car1,brake_months=0;	
		quality:car1,exhaust_months=0;	
		quality:car1,ac_odometer=0;
		quality:car1,vacuum_odometer=0;
		quality:car1,engine=gas;
		quality:car1,brake_vio=false;
		quality:car1,exhaust_vio=false;
		quality:car1,ac_vio=false;
		quality:car1,vacuum_vio=false;
		quality:car1,compliance_vio=false;
		quality:car1,TIME_ADVANCE_STEP=0;
		
		#Engine Oil
		quality:car1,oil_odom=0;
		quality:car1,oil_vio=false;
		
		#Drive Shaft Boots
		quality:car1,driveshaft_odom=0;
		quality:car1,driveshaft_vio=false;
		
		#Engine Coolant
		quality:car1,coolant_odom=0;
		quality:car1,coolant_vio=false;
		
		#Parking Brake
		quality:car1,parkingbrake_months=0;
		quality:car1,parkingbrake_vio=false;
		
		#Brake Pipes
		quality:car1,brakepipe_months=0;
		quality:car1,brakepipe_vio=false;
		
		#Brake Hoses
		quality:car1,brakehoses_months=0;
		quality:car1,brakehoses_vio=false;

		#######CAR 2########

		quality:car2,brake_months=0;	
		quality:car2,exhaust_months=0;	 		
		quality:car2,ac_odometer=0;
		quality:car2,vacuum_odometer=0;
		quality:car2,engine=diesel;
		quality:car2,brake_vio=false;
		quality:car2,exhaust_vio=false;
		quality:car2,ac_vio=false;
		quality:car2,vacuum_vio=false;
		quality:car2,compliance_vio=false;
		quality:car2,TIME_ADVANCE_STEP=0;
				
		#Engine Oil
		quality:car2,oil_odom=0;
		quality:car2,oil_vio=false;
		
		#Drive Shaft Boots
		quality:car2,driveshaft_odom=0;
		quality:car2,driveshaft_vio=false;
		
		#Engine Coolant
		quality:car2,coolant_odom=0;
		quality:car2,coolant_vio=false;
		
		#Parking Brake
		quality:car2,parkingbrake_months=0;
		quality:car2,parkingbrake_vio=false;
		
		#Brake Pipes
		quality:car2,brakepipe_months=0;
		quality:car2,brakepipe_vio=false;
		
		#Brake Hoses
		quality:car2,brakehoses_months=0;
		quality:car2,brakehoses_vio=false;	

	topology:car1<->car2,road;
	tags:
.