network model = 
	assets:
		# Cars
		car1;
		car2;
		car3;
		car4;
		car5;

	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;

		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;

		quality:car3,brake_months=0;	
		quality:car3,exhaust_months=0;	 		
		quality:car3,ac_odometer=0;
		quality:car3,vacuum_odometer=0;
		quality:car3,engine=gas;
		quality:car3,brake_vio=false;
		quality:car3,exhaust_vio=false;
		quality:car3,ac_vio=false;
		quality:car3,vacuum_vio=false;
		quality:car3,compliance_vio=false;
		quality:car3,TIME_ADVANCE_STEP=0;

		quality:car4,brake_months=0;	
		quality:car4,exhaust_months=0;	 		
		quality:car4,ac_odometer=0;
		quality:car4,vacuum_odometer=0;
		quality:car4,engine=diesel;
		quality:car4,brake_vio=false;
		quality:car4,exhaust_vio=false;
		quality:car4,ac_vio=false;
		quality:car4,vacuum_vio=false;
		quality:car4,compliance_vio=false;
		quality:car4,TIME_ADVANCE_STEP=0;

		quality:car5,brake_months=0;	
		quality:car5,exhaust_months=0;	 		
		quality:car5,ac_odometer=0;
		quality:car5,vacuum_odometer=0;
		quality:car5,engine=gas;
		quality:car5,brake_vio=false;
		quality:car5,exhaust_vio=false;
		quality:car5,ac_vio=false;
		quality:car5,vacuum_vio=false;
		quality:car5,compliance_vio=false;
		quality:car5,TIME_ADVANCE_STEP=0;
	
	topology:car1<->car2,road;
	tags:
.
