network model = assets: # Car 1= Brake Pads, car2=exhaust car1; car2; facts: quality:car1,brake_months:=6; quality:car1,exhaust_months:=12; quality:car1,odometer:=120000; quality:car1,engine=gas; quality:car1,is_in_compliance=true; quality:car2,car2_brake_months:=6; quality:car2,car2_exhaust_months:=12; quality:car2,car2_odometer:=120000; quality:car2,car2_engine=diesel; quality:car2,car2_is_in_compliance=true; topology:car1<->car2,road; tags: .