network "auto.1"
{
	version is 1;
	creator is "Microsoft Research DTAS";
	format is "MSR DTAS XML";
}

properties
{
	type DTASDG_Notes = array of string,
		"Notes on the diagram";
	type MS_Addins = array of string;
	type MS_cost_fix = real,
		"cost to fix";
	type MS_cost_observe = real,
		"cost to observe";
	type MS_label = choice of 
		[other,informational,problem,fixunobs,fixobs],
		"Troubleshooting category";
	MS_cost_fix = 2000;
}

node Alternator
{
	name = "Alternator";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (2771, 819);
	MS_cost_fix = 200;
	MS_cost_observe = 15;
	MS_label = fixobs;
}

node Battery
{
	name = "Battery";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (2537, 2988);
	MS_cost_fix = 80;
	MS_label = fixunobs;
}

node BatteryPower
{
	name = "Battery Power";
	type = discrete[3]
	{
		"good",
		"low",
		"none"
	};

	position = (8992, 5685);
	MS_label = other;
}

node CD
{
	name = "Charge Delivered";
	type = discrete[2]
	{
		"yes",
		"no"
	};

	position = (8963, 2961);
}

node CDLeak
{
	name = "CD Leak";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (15230, 898);
	MS_cost_fix = 450;
	MS_cost_observe = 50;
	MS_label = fixobs;
}

node Distributor
{
	name = "Distributor";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (2034, 11875);
	MS_cost_fix = 80;
	MS_cost_observe = 15;
	MS_label = fixobs;
}

node ESLeak
{
	name = "EngineStart Leak";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (2295, 9968);
	MS_cost_fix = 450;
	MS_cost_observe = 50;
	MS_label = fixobs;
}

node ETO
{
	name = "Engine Turn Over";
	type = discrete[2]
	{
		"yes",
		"no"
	};

	position = (13092, 10366);
	MS_cost_observe = 1;
	MS_label = informational;
}

node ETOLeak
{
	name = "ETO Leak";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (19758, 7431);
	MS_cost_fix = 450;
	MS_cost_observe = 50;
	MS_label = fixobs;
}

node EngineStart
{
	name = "Engine Start";
	type = discrete[2]
	{
		"yes",
		"no"
	};

	position = (8013, 18435);
	MS_label = problem;
}

node FanBelt
{
	name = "Fan belt";
	type = discrete[2]
	{
		"ok",
		"loose"
	};

	position = (8988, 820);
	MS_cost_fix = 50;
	MS_cost_observe = 15;
	MS_label = fixobs;
}

node FuelLine
{
	name = "Fuel Line";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (14545, 11716);
	MS_cost_fix = 100;
	MS_label = fixunobs;
}

node FuelPump
{
	name = "Fuel Pump";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (13460, 13805);
	MS_cost_fix = 100;
	MS_label = fixunobs;
}

node Gas
{
	name = "Gas";
	type = discrete[2]
	{
		"not empty",
		"empty"
	};

	position = (1182, 5394);
	MS_cost_fix = 15;
	MS_label = fixunobs;
}

node GasGauge
{
	name = "Gas Gauge";
	type = discrete[2]
	{
		"not empty",
		"empty"
	};

	position = (4862, 8066);
	MS_cost_observe = 1;
	MS_label = informational;
}

node LightsShine
{
	name = "Lights";
	type = discrete[2]
	{
		"work",
		"don\'t work"
	};

	position = (6451, 9653);
	MS_cost_observe = 1;
	MS_label = informational;
}

node RadioPlays
{
	name = "Radio";
	type = discrete[2]
	{
		"works",
		"doesn\'t work"
	};

	position = (8860, 11400);
	MS_cost_observe = 1;
	MS_label = informational;
}

node SparkPlugs
{
	name = "Spark Plugs";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (2856, 13726);
	MS_cost_fix = 80;
	MS_cost_observe = 15;
	MS_label = fixobs;
}

node Starter
{
	name = "Starter";
	type = discrete[2]
	{
		"good",
		"bad"
	};

	position = (14705, 5261);
	MS_cost_fix = 200;
	MS_label = fixunobs;
}

probability(Alternator)
{
	0.99, 0.01;
}

probability(Battery)
{
	0.999, 0.001;
}

probability(BatteryPower|Battery,CD)
{
	function = max;
	(0, 0) = 1, 0, 0;
	(1, 0) = 0, 0.2, 0.8;
	(0, 1) = 0.001, 0.3, 0.699;
}

probability(CD|FanBelt,Alternator,CDLeak)
{
	function = max;
	(0, 0, 0) = 1, 0;
	(1, 0, 0) = 0, 1;
	(0, 1, 0) = 0, 1;
	(0, 0, 1) = 0, 1;
}

probability(CDLeak)
{
	0.999, 0.001;
}

probability(Distributor)
{
	0.99, 0.01;
}

probability(ESLeak)
{
	0.999, 0.001;
}

probability(ETO|BatteryPower,Starter,ETOLeak)
{
	function = max;
	(0, 0, 0) = 1, 0;
	(1, 0, 0) = 0, 1;
	(2, 0, 0) = 0, 1;
	(0, 1, 0) = 0, 1;
	(0, 0, 1) = 0, 1;
}

probability(ETOLeak)
{
	0.999, 0.001;
}

probability(EngineStart|ETO,Gas,FuelPump,ESLeak,FuelLine,Distributor,SparkPlugs)
{
	function = max;
	(0, 0, 0, 0, 0, 0, 0) = 1, 0;
	(1, 0, 0, 0, 0, 0, 0) = 0, 1;
	(0, 1, 0, 0, 0, 0, 0) = 0, 1;
	(0, 0, 1, 0, 0, 0, 0) = 0.05, 0.95;
	(0, 0, 0, 1, 0, 0, 0) = 0, 1;
	(0, 0, 0, 0, 1, 0, 0) = 0.05, 0.95;
	(0, 0, 0, 0, 0, 1, 0) = 0.5, 0.5;
	(0, 0, 0, 0, 0, 0, 1) = 0.3, 0.7;
}

probability(FanBelt)
{
	0.97, 0.03;
}

probability(FuelLine)
{
	0.99, 0.01;
}

probability(FuelPump)
{
	0.98, 0.02;
}

probability(Gas)
{
	0.999, 0.001;
}

probability(GasGauge|BatteryPower,Gas)
{
	function = max;
	(0, 0) = 0.999, 0.001;
	(1, 0) = 1, 0;
	(2, 0) = 0, 1;
	(0, 1) = 0, 1;
}

probability(LightsShine|BatteryPower)
{
	(0) = 0.999, 0.001;
	(1) = 0, 1;
	(2) = 0, 1;
}

probability(RadioPlays|BatteryPower)
{
	(0) = 0.999, 0.001;
	(1) = 0.999, 0.001;
	(2) = 0, 1;
}

probability(SparkPlugs)
{
	0.98, 0.02;
}

probability(Starter)
{
	0.99, 0.01;
}