<schema id="17">
<tuple id="16" order="4">
<basic id="0">
</basic>
<basic id="1">
</basic>
<set id="12">
<tuple id="11" order="4">
<basic id="2">
</basic>
<basic id="3">
</basic>
<basic id="9">
</basic>
<basic id="10">
</basic>
</tuple>
</set>
<disj id="15">
<empty id="13">
</empty>
<empty id="14">
</empty>
</disj>
</tuple>
</schema>

