<?xml version="1.0" encoding="US-ASCII"?>

<!-- DTD for the XMLBIF 0.3 format -->
<!DOCTYPE BIF [
<!ELEMENT BIF ( NETWORK )*>
	<!ATTLIST BIF VERSION CDATA #REQUIRED>
<!ELEMENT NETWORK ( NAME, ( PROPERTY | VARIABLE | DEFINITION )* )>
<!ELEMENT NAME (#PCDATA)>
<!ELEMENT VARIABLE ( NAME, ( OUTCOME |  PROPERTY )* ) >
<!ATTLIST VARIABLE TYPE (nature|decision|utility) "nature">
<!ELEMENT OUTCOME (#PCDATA)>
<!ELEMENT DEFINITION ( FOR | GIVEN | TABLE | PROPERTY )* >
<!ELEMENT FOR (#PCDATA)>
<!ELEMENT GIVEN (#PCDATA)>
<!ELEMENT TABLE (#PCDATA)>
<!ELEMENT PROPERTY (#PCDATA)>
]>

<BIF VERSION="0.3">
<NETWORK>

<VARIABLE TYPE="nature">
	<NAME>D1_flow</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7694.79, 5503.5)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>D2_flow</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7632.303, 5406.2974)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>D3_flow</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7457.7363, 5401.3384)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Shower_on</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7611.4736, 5213.879)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Plug_in_bath</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7667.018, 5288.2676)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Bath_overflowing</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7534.109, 5306.1216)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Sink_overflowing</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7360.536, 5295.211)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Floor_wet</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7370.4536, 5365.6313)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Plug_in_sink</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7376.406, 5228.757)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>Water_flowing_into_sink</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7450.794, 5182.1396)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>P3_pressurized</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7608.498, 5062.1265)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>T3_on</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7418.064, 5100.808)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>P1_pressurized</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7617.175, 4980.5)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>T1_on</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7501.4854, 4999.9224)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>P2_pressurized</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7741.3086, 5026.0996)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
	<NAME>T2_on</NAME>
	<OUTCOME>T</OUTCOME>
	<OUTCOME>F</OUTCOME>
	<PROPERTY>position = (7778.464, 5112.2344)</PROPERTY>
</VARIABLE>


<DEFINITION>
	<FOR>D1_flow</FOR>
	<GIVEN>D2_flow</GIVEN>
	<GIVEN>D3_flow</GIVEN>
	<TABLE>1.0 0.0 1.0 0.0 1.0 0.0 0.0 1.0</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>D2_flow</FOR>
	<GIVEN>Shower_on</GIVEN>
	<GIVEN>Plug_in_bath</GIVEN>
	<TABLE>0.1 0.9 0.99 0.01 0.001 0.999 0.01 0.99</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>D3_flow</FOR>
	<GIVEN>Plug_in_sink</GIVEN>
	<GIVEN>Water_flowing_into_sink</GIVEN>
	<TABLE>0.1 0.9 0.01 0.99 0.99 0.01 0.01 0.99</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Shower_on</FOR>
	<GIVEN>P2_pressurized</GIVEN>
	<GIVEN>T2_on</GIVEN>
	<TABLE>0.99 0.01 0.01 0.99 0.01 0.99 0.001 0.999</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Plug_in_bath</FOR>
	<TABLE>0.6 0.4</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Bath_overflowing</FOR>
	<GIVEN>Shower_on</GIVEN>
	<GIVEN>Plug_in_bath</GIVEN>
	<TABLE>0.8 0.2 0.7 0.3 0.1 0.9 0.001 0.999</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Sink_overflowing</FOR>
	<GIVEN>Plug_in_sink</GIVEN>
	<GIVEN>Water_flowing_into_sink</GIVEN>
	<TABLE>0.95 0.05 0.3 0.7 0.2 0.8 0.002 0.998</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Floor_wet</FOR>
	<GIVEN>Bath_overflowing</GIVEN>
	<GIVEN>Sink_overflowing</GIVEN>
	<TABLE>0.99 0.01 0.99 0.01 0.99 0.01 0.1 0.9</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Plug_in_sink</FOR>
	<TABLE>0.2 0.8</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>Water_flowing_into_sink</FOR>
	<GIVEN>P3_pressurized</GIVEN>
	<GIVEN>T3_on</GIVEN>
	<TABLE>0.99 0.01 0.1 0.9 0.01 0.99 0.001 0.999</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>P3_pressurized</FOR>
	<GIVEN>P1_pressurized</GIVEN>
	<GIVEN>T1_on</GIVEN>
	<TABLE>0.99 0.01 0.1 0.9 0.01 0.99 0.001 0.999</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>T3_on</FOR>
	<TABLE>0.2 0.8</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>P1_pressurized</FOR>
	<TABLE>0.99 0.01</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>T1_on</FOR>
	<TABLE>0.98 0.02</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>P2_pressurized</FOR>
	<GIVEN>P1_pressurized</GIVEN>
	<GIVEN>T1_on</GIVEN>
	<TABLE>0.99 0.01 0.1 0.9 0.001 0.999 0.0001 0.9999</TABLE>
</DEFINITION>

<DEFINITION>
	<FOR>T2_on</FOR>
	<TABLE>0.3 0.7</TABLE>
</DEFINITION>

</NETWORK>
</BIF>


