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; quality:car1,can_fly=false; 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:car2,can_fly=false; topology:car1<->car2,road; tags: .