<?xml version="1.0" encoding="UTF-8"?>
<smile version="1.0" id="Network1" numsamples="10000" discsamples="10000">
	<nodes>
		<equation id="Distance_Follower">
			<definition lower="0" upper="20">Distance_Follower=6</definition>
			<discretization>
				<interval label="State0" upper="10" />
				<interval label="State1" upper="20" />
			</discretization>
		</equation>
		<equation id="SafeDistance">
			<definition lower="0" upper="20">SafeDistance=5</definition>
			<discretization>
				<interval label="State0" upper="10" />
				<interval label="State1" upper="20" />
			</discretization>
		</equation>
		<equation id="DistanceComparison">
			<parents>Distance_Follower SafeDistance</parents>
			<definition lower="0" upper="1">DistanceComparison=If(Distance_Follower-SafeDistance&lt;0,0,1)</definition>
			<discretization>
				<interval label="Unsafe" upper="0.5" />
				<interval label="Safe" upper="1" />
			</discretization>
		</equation>
		<cpt id="IsItSafe__">
			<state id="No" />
			<state id="Yes" />
			<parents>DistanceComparison</parents>
			<probabilities>1 0 0 1</probabilities>
		</cpt>
	</nodes>
	<extensions>
		<genie version="1.0" app="GeNIe 3.1.6618.1 1d764414b517380" name="Network1">
			<node id="IsItSafe__">
				<name>IsItSafe? </name>
				<interior color="e5f6f7" />
				<outline color="000080" />
				<font color="000000" name="Arial" size="10" />
				<position>138 33 207 71</position>
				<barchart active="true" width="128" height="64" />
			</node>
			<node id="DistanceComparison">
				<name>DistanceComparison</name>
				<interior color="e5f6f7" />
				<outline color="000080" />
				<font color="000000" name="Arial" size="10" />
				<position>104 140 247 201</position>
			</node>
			<node id="Distance_Follower">
				<name>Distance@Follower</name>
				<interior color="e5f6f7" />
				<outline color="000080" />
				<font color="000000" name="Arial" size="10" />
				<position>29 303 164 361</position>
				<barchart active="true" width="128" height="64" />
			</node>
			<node id="SafeDistance">
				<name>SafeDistance</name>
				<interior color="e5f6f7" />
				<outline color="000080" />
				<font color="000000" name="Arial" size="10" />
				<position>237 318 354 356</position>
				<barchart active="true" width="128" height="64" />
			</node>
		</genie>
	</extensions>
</smile>
