<?xml version="1.0"?>

<!DOCTYPE specification SYSTEM "seed.dtd">

<specification>

<start idref="F"/>

<union id="F">
  <child idref="A"/>
  <child idref="B"/>
  <child idref="C"/>
  <child idref="D"/>
  <child idref="E"/>
  <child idref="G"/>
</union>

<binary id="A">
  <symbol value="U"/> 
  <child idref="F"/>
  <child idref="F"/>
</binary>


<binary id="C">
  <symbol value="OR"/> 
  <child idref="F"/>
  <child idref="F"/>
</binary>

<binary id="D">
  <symbol value="AND"/> 
  <child idref="F"/>
  <child idref="F"/>
</binary>

<unary id="E">
    <symbol value="X"/> 
  <child idref="F"/>
  </unary>

<unary id="B">
  <symbol value="Not"/> 
  <child idref="F"/>
</unary>

<constants id="G">
  <symbol value="a"/> 
  <symbol value="b"/> 
  <symbol value="c"/> 
</constants >


</specification>


