<!-- mpropre's DTD -->
<!-- Author: Sylvain LAGRUE -->
<!-- Email:  lagrue@cril.fr -->

<!ELEMENT valuations (val)+>

<!ELEMENT val (false,true)*>

<!ATTLIST val id ID #REQUIRED>

<!ATTLIST false idref IDREF #REQUIRED>