<?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>WaterLeak</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (53.0, -52.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>WaterLeakWarning</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (112.0, 49.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>IcyWeather</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (53.0, -144.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>PumpFailure</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (-145.0, -54.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>PumpFailureWarning</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (-203.0, 47.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Meltdown</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (-60.0, 140.0)</PROPERTY>
</VARIABLE>


<DEFINITION>
   <FOR>WaterLeak</FOR>
   <GIVEN>IcyWeather</GIVEN>
   <TABLE> 0.2 0.8 0.1 0.9</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>WaterLeakWarning</FOR>
   <GIVEN>WaterLeak</GIVEN>
   <TABLE> 0.9 0.1 0.05 0.95</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>IcyWeather</FOR>
   <TABLE> 0.05 0.95</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>PumpFailure</FOR>
   <TABLE> 0.1 0.9</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>PumpFailureWarning</FOR>
   <GIVEN>PumpFailure</GIVEN>
   <TABLE> 0.9 0.1 0.05 0.95</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Meltdown</FOR>
   <GIVEN>PumpFailure</GIVEN>
   <GIVEN>WaterLeak</GIVEN>
   <TABLE> 0.2 0.8 0.15 0.85 0.1 0.9 0.0010 0.999</TABLE>
</DEFINITION>


</NETWORK>
</BIF>