<FRAGMENT parents="section theorem proof">
    <case>
        <p>This case</p>
    </case>
</FRAGMENT>