<?xml version="1.0"?>




<!DOCTYPE specification SYSTEM "seed.dtd">

<!-- Warning : Only specification of size 3n+1-->
<specification>
  <start idref="All"/> 

  <sequence id="All"> <!-- A 3SAT formula is a sequence of clause -->
    <symbol value="And"/>
    <child idref="C"/> 
  </sequence> 

  <constants_set size="3" id="C"> <!-- A clause is a set of atoms -->
    <child idref="S"/> 
  </constants_set> 



  <constants id="S"> <!-- defintion of an atom-->
    <symbol value="a"/>
    <symbol value="b"/>
    <symbol value="c"/>
    <symbol value="d"/>
    <symbol value="e"/>
    <symbol value="f"/>
    <symbol value="g"/>
    <symbol value="not a"/>
    <symbol value="not b"/>
    <symbol value="not c"/>
    <symbol value="not d"/>
    <symbol value="not e"/>
    <symbol value="not f"/>
    <symbol value="not g"/>
  </constants>


</specification>

