view texts/archimedesOldCVSRepository/archimedes/chunking/specific_chuncks/piccolomini-specific-chunks.xml @ 16:6fa5e8c4e0dd

new version
author Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
date Thu, 02 May 2013 11:52:14 +0200
parents 22d6a63640c6
children
line wrap: on
line source

<?xml version="1.0"?>
<!DOCTYPE archimedes SYSTEM "../../dtd/chunks.dtd" >
<archimedes>


<chunk>
<name>premises</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.5.01.04"/>
<link xlink:href="107.xml#id.2.5.01.05"/>
<link xlink:href="107.xml#id.2.5.01.06"/>
<link xlink:href="107.xml#id.2.5.01.07"/>
<link xlink:href="107.xml#id.2.5.01.10"/>
<link xlink:href="107.xml#id.2.5.01.11"/>
<link xlink:href="107.xml#id.2.5.01.14"/>
<link xlink:href="107.xml#id.2.5.01.15"/>
<link xlink:href="107.xml#id.2.5.01.16"/>
<link xlink:href="107.xml#id.2.5.01.17"/>
<link xlink:href="107.xml#id.2.5.01.18"/>
<link xlink:href="107.xml#id.2.5.01.19"/>
<link xlink:href="107.xml#id.2.5.01.20"/>
<link xlink:href="107.xml#id.2.5.01.21"/>
<link xlink:href="107.xml#id.2.5.01.22"/>
<link xlink:href="107.xml#id.2.4.01.16"/>
<link xlink:href="107.xml#id.2.4.01.17"/>
<link xlink:href="107.xml#id.2.4.01.18"/>
<link xlink:href="107.xml#id.2.4.01.19"/>
<link xlink:href="107.xml#id.2.4.01.20"/>
<link xlink:href="107.xml#id.2.4.01.21"/>
<link xlink:href="107.xml#id.2.4.01.22"/>
<link xlink:href="107.xml#id.2.4.01.23"/>
<link xlink:href="107.xml#id.3.2.01.01"/>
<link xlink:href="107.xml#id.3.2.01.04"/>
<link xlink:href="107.xml#id.3.8.01.01"/>
<link xlink:href="107.xml#id.3.8.01.02"/>
<link xlink:href="107.xml#id.3.8.01.03"/>
<link xlink:href="107.xml#id.3.8.01.04"/>
<link xlink:href="107.xml#id.3.8.01.05"/>
<link xlink:href="107.xml#id.3.9.01.01"/>
<link xlink:href="107.xml#id.3.9.01.02"/>
<link xlink:href="107.xml#id.3.9.01.03"/>
<link xlink:href="107.xml#id.3.9.01.04"/>
<link xlink:href="107.xml#id.3.9.01.05"/>
<link xlink:href="107.xml#id.3.9.01.06"/>
<link xlink:href="107.xml#id.3.9.01.07"/>
<link xlink:href="107.xml#id.3.11.01.01"/>
<link xlink:href="107.xml#id.3.11.01.02"/>
<link xlink:href="107.xml#id.3.11.01.03"/>
<link xlink:href="107.xml#id.3.11.01.04"/>
<link xlink:href="107.xml#id.3.11.01.05"/>
<link xlink:href="107.xml#id.3.11.01.06"/>
<link xlink:href="107.xml#id.3.13.01.01"/>
<link xlink:href="107.xml#id.3.13.01.02"/>
<link xlink:href="107.xml#id.3.15.01.02"/>
<link xlink:href="107.xml#id.3.17.01.01"/>
<link xlink:href="107.xml#id.3.17.01.02"/>
<link xlink:href="107.xml#id.3.17.01.03"/>
<link xlink:href="107.xml#id.3.17.01.04"/>
<link xlink:href="107.xml#id.3.17.01.05"/>
<link xlink:href="107.xml#id.3.18.01.01"/>
<link xlink:href="107.xml#id.3.18.01.02"/>
<link xlink:href="107.xml#id.3.18.01.03"/>
<link xlink:href="107.xml#id.3.18.01.04"/>
<link xlink:href="107.xml#id.3.18.01.05"/>
<link xlink:href="107.xml#id.3.18.01.06"/>
<link xlink:href="107.xml#id.3.18.01.07"/>
<link xlink:href="107.xml#id.3.18.01.08"/>
<link xlink:href="107.xml#id.3.18.01.09"/>
<link xlink:href="107.xml#id.3.18.01.10"/>
<link xlink:href="107.xml#id.3.20.01.01"/>
<link xlink:href="107.xml#id.3.20.01.02"/>
<link xlink:href="107.xml#id.3.20.01.03"/>
<link xlink:href="107.xml#id.3.23.01.01"/>
<link xlink:href="107.xml#id.3.23.01.02"/>
<link xlink:href="107.xml#id.3.23.01.03"/>
<link xlink:href="107.xml#id.3.28.01.03"/>
<link xlink:href="107.xml#id.3.28.01.04"/>
<link xlink:href="107.xml#id.3.28.01.05"/>
<link xlink:href="107.xml#id.3.32.01.01"/>
<link xlink:href="107.xml#id.3.32.01.02"/>
<link xlink:href="107.xml#id.3.32.01.03"/>
<link xlink:href="107.xml#id.3.32.01.04"/>
<link xlink:href="107.xml#id.3.32.01.05"/>
<link xlink:href="107.xml#id.3.32.01.06"/>
<link xlink:href="107.xml#id.3.32.01.07"/>
<link xlink:href="107.xml#id.3.32.01.08"/>
<link xlink:href="107.xml#id.3.32.01.09"/>
<link xlink:href="107.xml#id.3.32.01.10"/>
<link xlink:href="107.xml#id.3.32.01.11"/>
<link xlink:href="107.xml#id.3.32.01.12"/>
<link xlink:href="107.xml#id.3.32.01.13"/>
<link xlink:href="107.xml#id.3.32.01.14"/>
<link xlink:href="107.xml#id.3.32.01.15"/>
<link xlink:href="107.xml#id.3.32.01.16"/>
<link xlink:href="107.xml#id.3.32.01.17"/>
<link xlink:href="107.xml#id.3.32.01.18"/>
<link xlink:href="107.xml#id.3.36.01.01"/>
<link xlink:href="107.xml#id.3.36.01.02"/>
<link xlink:href="107.xml#id.3.36.01.03"/>
<link xlink:href="107.xml#id.3.36.01.04"/>
<link xlink:href="107.xml#id.3.36.01.07"/>
</nodeset>
</chunk>

<chunk>
<name>problems</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.2.01.20"/>
<link xlink:href="107.xml#id.2.3.01.01"/>
<link xlink:href="107.xml#id.2.4.01.01"/>
<link xlink:href="107.xml#id.2.4.01.02"/>
<link xlink:href="107.xml#id.2.4.01.24"/>
<link xlink:href="107.xml#id.2.5.01.02"/>
<link xlink:href="107.xml#id.2.5.01.03"/>
<link xlink:href="107.xml#id.3.1.01.01"/>
<link xlink:href="107.xml#id.3.2.01.02"/>
<link xlink:href="107.xml#id.3.2.01.03"/>
<link xlink:href="107.xml#id.3.3.01.01"/>
<link xlink:href="107.xml#id.3.4.01.01"/>
<link xlink:href="107.xml#id.3.5.01.01"/>
<link xlink:href="107.xml#id.3.6.01.01"/>
<link xlink:href="107.xml#id.3.7.01.01"/>
<link xlink:href="107.xml#id.3.8.01.06"/>
<link xlink:href="107.xml#id.3.9.01.08"/>
<link xlink:href="107.xml#id.3.10.01.01"/>
<link xlink:href="107.xml#id.3.10.01.01"/>
<link xlink:href="107.xml#id.3.10.01.02"/>
<link xlink:href="107.xml#id.3.10.01.03"/>
<link xlink:href="107.xml#id.3.11.01.07"/>
<link xlink:href="107.xml#id.3.12.01.01"/>
<link xlink:href="107.xml#id.3.12.01.02"/>
<link xlink:href="107.xml#id.3.12.01.03"/>
<link xlink:href="107.xml#id.3.13.01.03"/>
<link xlink:href="107.xml#id.3.13.01.13"/>
<link xlink:href="107.xml#id.3.14.01.01"/>
<link xlink:href="107.xml#id.3.14.01.02"/>
<link xlink:href="107.xml#id.3.15.01.01"/>
<link xlink:href="107.xml#id.3.16.01.01"/>
<link xlink:href="107.xml#id.3.16.01.02"/>
<link xlink:href="107.xml#id.3.17.01.08"/>
<link xlink:href="107.xml#id.3.18.01.11"/>
<link xlink:href="107.xml#id.3.19.01.01"/>
<link xlink:href="107.xml#id.3.19.01.02"/>
<link xlink:href="107.xml#id.3.20.01.04"/>
<link xlink:href="107.xml#id.3.21.01.01"/>
<link xlink:href="107.xml#id.3.22.01.01"/>
<link xlink:href="107.xml#id.3.22.01.02"/>
<link xlink:href="107.xml#id.3.23.01.04"/>
<link xlink:href="107.xml#id.3.23.01.05"/>
<link xlink:href="107.xml#id.3.24.01.01"/>
<link xlink:href="107.xml#id.3.25.01.01"/>
<link xlink:href="107.xml#id.3.25.01.02"/>
<link xlink:href="107.xml#id.3.26.01.01"/>
<link xlink:href="107.xml#id.3.27.01.01"/>
<link xlink:href="107.xml#id.3.27.01.02"/>
<link xlink:href="107.xml#id.3.28.01.01"/>
<link xlink:href="107.xml#id.3.28.01.02"/>
<link xlink:href="107.xml#id.3.29.01.01"/>
<link xlink:href="107.xml#id.3.30.01.01"/>
<link xlink:href="107.xml#id.3.31.01.01"/>
<link xlink:href="107.xml#id.3.32.01.19"/>
<link xlink:href="107.xml#id.3.33.01.01"/>
<link xlink:href="107.xml#id.3.34.01.01"/>
<link xlink:href="107.xml#id.3.35.01.01"/>
<link xlink:href="107.xml#id.3.36.01.08"/>
</nodeset>
</chunk>


<chunk>
<name>explanations</name>
<description></description>

<nodeset>
<chunk>
<name>introduction</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.3.01.02"/>
<link xlink:href="107.xml#id.2.3.01.03"/>
<link xlink:href="107.xml#id.2.3.01.04"/>
<link xlink:href="107.xml#id.2.3.01.05"/>
<link xlink:href="107.xml#id.2.4.01.03"/>
<link xlink:href="107.xml#id.2.4.01.04"/>
<link xlink:href="107.xml#id.2.4.01.05"/>
<link xlink:href="107.xml#id.2.4.01.06"/>
<link xlink:href="107.xml#id.2.4.01.07"/>
<link xlink:href="107.xml#id.2.4.01.08"/>
<link xlink:href="107.xml#id.2.4.01.09"/>
<link xlink:href="107.xml#id.2.4.01.10"/>
<link xlink:href="107.xml#id.2.4.01.11"/>
<link xlink:href="107.xml#id.2.4.01.12"/>
<link xlink:href="107.xml#id.3.1.01.02"/>
<link xlink:href="107.xml#id.3.2.01.05"/>
<link xlink:href="107.xml#id.3.3.01.02"/>
<link xlink:href="107.xml#id.3.4.01.02"/>
<link xlink:href="107.xml#id.3.6.01.02"/>
<link xlink:href="107.xml#id.3.7.01.02"/>
<link xlink:href="107.xml#id.3.8.01.11"/>
<link xlink:href="107.xml#id.3.10.01.04"/>
<link xlink:href="107.xml#id.3.11.01.08"/>
<link xlink:href="107.xml#id.3.12.01.04"/>
<link xlink:href="107.xml#id.3.13.01.04"/>
<link xlink:href="107.xml#id.3.13.01.14"/>
<link xlink:href="107.xml#id.3.14.01.03"/>
<link xlink:href="107.xml#id.3.15.01.04"/>
<link xlink:href="107.xml#id.3.16.01.03"/>
<link xlink:href="107.xml#id.3.17.01.09"/>
<link xlink:href="107.xml#id.3.18.01.12"/>
<link xlink:href="107.xml#id.3.19.01.03"/>
<link xlink:href="107.xml#id.3.21.01.02"/>
<link xlink:href="107.xml#id.3.22.01.03"/>
<link xlink:href="107.xml#id.3.25.01.04"/>
<link xlink:href="107.xml#id.3.26.01.02"/>
<link xlink:href="107.xml#id.3.27.01.03"/>
<link xlink:href="107.xml#id.3.29.01.02"/>
<link xlink:href="107.xml#id.3.30.01.02"/>
<link xlink:href="107.xml#id.3.31.01.02"/>
<link xlink:href="107.xml#id.3.33.01.02"/>
<link xlink:href="107.xml#id.3.34.01.02"/>
</nodeset>
</chunk>


<chunk>
<name>in a rhetorical way</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.2.01.25"/>
<link xlink:href="107.xml#id.2.2.01.26"/>
<link xlink:href="107.xml#id.2.2.01.27"/>
<link xlink:href="107.xml#id.2.3.01.14"/>
<link xlink:href="107.xml#id.2.3.01.15"/>
<link xlink:href="107.xml#id.2.3.01.16"/>
<link xlink:href="107.xml#id.2.3.01.17"/>
<link xlink:href="107.xml#id.2.3.01.18"/>
<link xlink:href="107.xml#id.2.3.01.19"/>
<link xlink:href="107.xml#id.2.3.01.20"/>
<link xlink:href="107.xml#id.2.3.01.21"/>
<link xlink:href="107.xml#id.2.3.01.22"/>
<link xlink:href="107.xml#id.2.3.01.23"/>
<link xlink:href="107.xml#id.3.1.01.03"/>
<link xlink:href="107.xml#id.3.1.01.04"/>
<link xlink:href="107.xml#id.3.1.01.05"/>
<link xlink:href="107.xml#id.3.1.01.06"/>
<link xlink:href="107.xml#id.3.1.01.07"/>
<link xlink:href="107.xml#id.3.2.01.06"/>
<link xlink:href="107.xml#id.3.2.01.11"/>
<link xlink:href="107.xml#id.3.2.01.12"/>
<link xlink:href="107.xml#id.3.2.01.13"/>
<link xlink:href="107.xml#id.3.2.01.14"/>
<link xlink:href="107.xml#id.3.2.01.15"/>
<link xlink:href="107.xml#id.3.2.01.20"/>
<link xlink:href="107.xml#id.3.2.01.21"/>
<link xlink:href="107.xml#id.3.3.01.03"/>
<link xlink:href="107.xml#id.3.3.01.04"/>
<link xlink:href="107.xml#id.3.3.01.05"/>
<link xlink:href="107.xml#id.3.4.01.03"/>
<link xlink:href="107.xml#id.3.4.01.04"/>
<link xlink:href="107.xml#id.3.4.01.05"/>
<link xlink:href="107.xml#id.3.4.01.06"/>
<link xlink:href="107.xml#id.3.4.01.07"/>
<link xlink:href="107.xml#id.3.4.01.08"/>
<link xlink:href="107.xml#id.3.4.01.09"/>
<link xlink:href="107.xml#id.3.5.01.02"/>
<link xlink:href="107.xml#id.3.5.01.03"/>
<link xlink:href="107.xml#id.3.5.01.04"/>
<link xlink:href="107.xml#id.3.5.01.05"/>
<link xlink:href="107.xml#id.3.5.01.06"/>
<link xlink:href="107.xml#id.3.5.01.07"/>
<link xlink:href="107.xml#id.3.5.01.08"/>
<link xlink:href="107.xml#id.3.5.01.09"/>
<link xlink:href="107.xml#id.3.5.01.12"/>
<link xlink:href="107.xml#id.3.5.01.13"/>
<link xlink:href="107.xml#id.3.5.01.14"/>
<link xlink:href="107.xml#id.3.5.01.15"/>
<link xlink:href="107.xml#id.3.5.01.22"/>
<link xlink:href="107.xml#id.3.5.01.23"/>
<link xlink:href="107.xml#id.3.5.01.24"/>
<link xlink:href="107.xml#id.3.5.01.25"/>
<link xlink:href="107.xml#id.3.5.01.26"/>
<link xlink:href="107.xml#id.3.5.01.27"/>
<link xlink:href="107.xml#id.3.6.01.03"/>
<link xlink:href="107.xml#id.3.6.01.04"/>
<link xlink:href="107.xml#id.3.6.01.05"/>
<link xlink:href="107.xml#id.3.6.01.06"/>
<link xlink:href="107.xml#id.3.7.01.03"/>
<link xlink:href="107.xml#id.3.7.01.04"/>
<link xlink:href="107.xml#id.3.8.01.07"/>
<link xlink:href="107.xml#id.3.8.01.08"/>
<link xlink:href="107.xml#id.3.8.01.09"/>
<link xlink:href="107.xml#id.3.8.01.10"/>
<link xlink:href="107.xml#id.3.8.01.11"/>
<link xlink:href="107.xml#id.3.8.01.12"/>
<link xlink:href="107.xml#id.3.8.01.13"/>
<link xlink:href="107.xml#id.3.8.01.14"/>
<link xlink:href="107.xml#id.3.8.01.15"/>
<link xlink:href="107.xml#id.3.8.01.16"/>
<link xlink:href="107.xml#id.3.8.01.17"/>
<link xlink:href="107.xml#id.3.8.01.18"/>
<link xlink:href="107.xml#id.3.8.01.19"/>
<link xlink:href="107.xml#id.3.8.01.20"/>
<link xlink:href="107.xml#id.3.8.01.21"/>
<link xlink:href="107.xml#id.3.8.01.22"/>
<link xlink:href="107.xml#id.3.8.01.23"/>
<link xlink:href="107.xml#id.3.8.01.24"/>
<link xlink:href="107.xml#id.3.8.01.25"/>
<link xlink:href="107.xml#id.3.8.01.31"/>
<link xlink:href="107.xml#id.3.8.01.32"/>
<link xlink:href="107.xml#id.3.8.01.33"/>
<link xlink:href="107.xml#id.3.8.01.34"/>
<link xlink:href="107.xml#id.3.8.01.35"/>
<link xlink:href="107.xml#id.3.8.01.36"/>
<link xlink:href="107.xml#id.3.8.01.37"/>
<link xlink:href="107.xml#id.3.8.01.38"/>
<link xlink:href="107.xml#id.3.9.01.09"/>
<link xlink:href="107.xml#id.3.10.01.05"/>
<link xlink:href="107.xml#id.3.10.01.06"/>
<link xlink:href="107.xml#id.3.11.01.09"/>
<link xlink:href="107.xml#id.3.11.01.10"/>
<link xlink:href="107.xml#id.3.11.01.11"/>
<link xlink:href="107.xml#id.3.11.01.12"/>
<link xlink:href="107.xml#id.3.11.01.13"/>
<link xlink:href="107.xml#id.3.12.01.05"/>
<link xlink:href="107.xml#id.3.12.01.06"/>
<link xlink:href="107.xml#id.3.12.01.07"/>
<link xlink:href="107.xml#id.3.12.01.08"/>
<link xlink:href="107.xml#id.3.13.01.07"/>
<link xlink:href="107.xml#id.3.13.01.08"/>
<link xlink:href="107.xml#id.3.13.01.09"/>
<link xlink:href="107.xml#id.3.13.01.10"/>
<link xlink:href="107.xml#id.3.13.01.11"/>
<link xlink:href="107.xml#id.3.13.01.12"/>
<link xlink:href="107.xml#id.3.13.01.15"/>
<link xlink:href="107.xml#id.3.14.01.04"/>
<link xlink:href="107.xml#id.3.14.01.05"/>
<link xlink:href="107.xml#id.3.15.01.05"/>
<link xlink:href="107.xml#id.3.15.01.06"/>
<link xlink:href="107.xml#id.3.15.01.07"/>
<link xlink:href="107.xml#id.3.15.01.10"/>
<link xlink:href="107.xml#id.3.15.01.11"/>
<link xlink:href="107.xml#id.3.16.01.04"/>
<link xlink:href="107.xml#id.3.16.01.05"/>
<link xlink:href="107.xml#id.3.16.01.06"/>
<link xlink:href="107.xml#id.3.16.01.07"/>
<link xlink:href="107.xml#id.3.17.01.13"/>
<link xlink:href="107.xml#id.3.18.01.13"/>
<link xlink:href="107.xml#id.3.18.01.14"/>
<link xlink:href="107.xml#id.3.18.01.15"/>
<link xlink:href="107.xml#id.3.18.01.16"/>
<link xlink:href="107.xml#id.3.19.01.04"/>
<link xlink:href="107.xml#id.3.19.01.05"/>
<link xlink:href="107.xml#id.3.19.01.06"/>
<link xlink:href="107.xml#id.3.19.01.07"/>
<link xlink:href="107.xml#id.3.19.01.08"/>
<link xlink:href="107.xml#id.3.19.01.09"/>
<link xlink:href="107.xml#id.3.20.01.05"/>
<link xlink:href="107.xml#id.3.20.01.06"/>
<link xlink:href="107.xml#id.3.20.01.08"/>
<link xlink:href="107.xml#id.3.20.01.09"/>
<link xlink:href="107.xml#id.3.20.01.10"/>
<link xlink:href="107.xml#id.3.20.01.11"/>
<link xlink:href="107.xml#id.3.20.01.14"/>
<link xlink:href="107.xml#id.3.20.01.15"/>
<link xlink:href="107.xml#id.3.20.01.16"/>
<link xlink:href="107.xml#id.3.20.01.20"/>
<link xlink:href="107.xml#id.3.21.01.03"/>
<link xlink:href="107.xml#id.3.21.01.04"/>
<link xlink:href="107.xml#id.3.21.01.05"/>
<link xlink:href="107.xml#id.3.21.01.10"/>
<link xlink:href="107.xml#id.3.24.01.02"/>
<link xlink:href="107.xml#id.3.24.01.03"/>
<link xlink:href="107.xml#id.3.25.01.03"/>
<link xlink:href="107.xml#id.3.25.01.04"/>
<link xlink:href="107.xml#id.3.25.01.05"/>
<link xlink:href="107.xml#id.3.25.01.06"/>
<link xlink:href="107.xml#id.3.25.01.07"/>
<link xlink:href="107.xml#id.3.25.01.08"/>
<link xlink:href="107.xml#id.3.25.01.09"/>
<link xlink:href="107.xml#id.3.25.01.10"/>
<link xlink:href="107.xml#id.3.25.01.14"/>
<link xlink:href="107.xml#id.3.26.01.03"/>
<link xlink:href="107.xml#id.3.26.01.04"/>
<link xlink:href="107.xml#id.3.26.01.05"/>
<link xlink:href="107.xml#id.3.26.01.06"/>
<link xlink:href="107.xml#id.3.26.01.07"/>
<link xlink:href="107.xml#id.3.26.01.10"/>
<link xlink:href="107.xml#id.3.26.01.11"/>
<link xlink:href="107.xml#id.3.27.01.04"/>
<link xlink:href="107.xml#id.3.27.01.06"/>
<link xlink:href="107.xml#id.3.30.01.03"/>
<link xlink:href="107.xml#id.3.30.01.06"/>
<link xlink:href="107.xml#id.3.30.01.07"/>
<link xlink:href="107.xml#id.3.30.01.08"/>
<link xlink:href="107.xml#id.3.30.01.09"/>
<link xlink:href="107.xml#id.3.31.01.03"/>
<link xlink:href="107.xml#id.3.31.01.04"/>
<link xlink:href="107.xml#id.3.32.01.21"/>
<link xlink:href="107.xml#id.3.32.01.22"/>
<link xlink:href="107.xml#id.3.32.01.23"/>
<link xlink:href="107.xml#id.3.33.01.02"/>
<link xlink:href="107.xml#id.3.33.01.03"/>
<link xlink:href="107.xml#id.3.34.01.03"/>
<link xlink:href="107.xml#id.3.34.01.04"/>
<link xlink:href="107.xml#id.3.34.01.05"/>
<link xlink:href="107.xml#id.3.34.01.06"/>
<link xlink:href="107.xml#id.3.34.01.07"/>
<link xlink:href="107.xml#id.3.34.01.08"/>
<link xlink:href="107.xml#id.3.34.01.09"/>
<link xlink:href="107.xml#id.3.34.01.10"/>
<link xlink:href="107.xml#id.3.34.01.11"/>
<link xlink:href="107.xml#id.3.34.01.12"/>
<link xlink:href="107.xml#id.3.34.01.13"/>
<link xlink:href="107.xml#id.3.34.01.14"/>
<link xlink:href="107.xml#id.3.34.01.15"/>
<link xlink:href="107.xml#id.3.34.01.16"/>
<link xlink:href="107.xml#id.3.34.01.17"/>
<link xlink:href="107.xml#id.3.34.01.18"/>
<link xlink:href="107.xml#id.3.35.01.03"/>
<link xlink:href="107.xml#id.3.35.01.04"/>
<link xlink:href="107.xml#id.3.35.01.05"/>
<link xlink:href="107.xml#id.3.35.01.06"/>
<link xlink:href="107.xml#id.3.35.01.07"/>
<link xlink:href="107.xml#id.3.35.01.08"/>
<link xlink:href="107.xml#id.3.35.01.09"/>
<link xlink:href="107.xml#id.3.35.01.10"/>
<link xlink:href="107.xml#id.3.35.01.11"/>
<link xlink:href="107.xml#id.3.35.01.12"/>
<link xlink:href="107.xml#id.3.35.01.13"/>
<link xlink:href="107.xml#id.3.35.01.14"/>
<link xlink:href="107.xml#id.3.35.01.15"/>
<link xlink:href="107.xml#id.3.35.01.16"/>
<link xlink:href="107.xml#id.3.36.01.18"/>
<link xlink:href="107.xml#id.3.36.01.19"/>
<link xlink:href="107.xml#id.3.36.01.20"/>
<link xlink:href="107.xml#id.3.36.01.32"/>
<link xlink:href="107.xml#id.3.36.01.33"/>
</nodeset>
</chunk>


<chunk>
<name>in a formal way</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.2.01.23"/>
<link xlink:href="107.xml#id.2.2.01.24"/>
<link xlink:href="107.xml#id.2.3.01.08"/>
<link xlink:href="107.xml#id.2.3.01.09"/>
<link xlink:href="107.xml#id.2.3.01.10"/>
<link xlink:href="107.xml#id.2.3.01.11"/>
<link xlink:href="107.xml#id.2.3.01.12"/>
<link xlink:href="107.xml#id.2.3.01.13"/>
<link xlink:href="107.xml#id.2.3.01.26"/>
<link xlink:href="107.xml#id.2.3.01.27"/>
<link xlink:href="107.xml#id.2.3.01.28"/>
<link xlink:href="107.xml#id.2.3.01.29"/>
<link xlink:href="107.xml#id.2.3.01.30"/>
<link xlink:href="107.xml#id.2.3.01.31"/>
<link xlink:href="107.xml#id.2.3.01.32"/>
<link xlink:href="107.xml#id.2.4.01.15"/>
<link xlink:href="107.xml#id.2.4.01.16"/>
<link xlink:href="107.xml#id.2.4.01.17"/>
<link xlink:href="107.xml#id.2.4.01.18"/>
<link xlink:href="107.xml#id.2.4.01.19"/>
<link xlink:href="107.xml#id.2.4.01.20"/>
<link xlink:href="107.xml#id.2.4.01.21"/>
<link xlink:href="107.xml#id.2.4.01.22"/>
<link xlink:href="107.xml#id.2.4.01.23"/>
<link xlink:href="107.xml#id.2.4.01.24"/>
<link xlink:href="107.xml#id.2.4.01.25"/>
<link xlink:href="107.xml#id.2.4.01.26"/>
<link xlink:href="107.xml#id.2.4.01.27"/>
<link xlink:href="107.xml#id.2.4.01.28"/>
<link xlink:href="107.xml#id.2.4.01.29"/>
<link xlink:href="107.xml#id.2.4.01.30"/>
<link xlink:href="107.xml#id.2.4.01.31"/>
<link xlink:href="107.xml#id.2.4.01.32"/>
<link xlink:href="107.xml#id.2.4.01.33"/>
<link xlink:href="107.xml#id.2.4.01.34"/>
<link xlink:href="107.xml#id.2.4.01.35"/>
<link xlink:href="107.xml#id.2.4.01.36"/>
<link xlink:href="107.xml#id.2.4.01.37"/>
<link xlink:href="107.xml#id.2.4.01.38"/>
<link xlink:href="107.xml#id.3.2.01.09"/>
<link xlink:href="107.xml#id.3.2.01.10"/>
<link xlink:href="107.xml#id.3.2.01.18"/>
<link xlink:href="107.xml#id.3.2.01.19"/>
<link xlink:href="107.xml#id.3.5.01.18"/>
<link xlink:href="107.xml#id.3.5.01.19"/>
<link xlink:href="107.xml#id.3.5.01.20"/>
<link xlink:href="107.xml#id.3.5.01.21"/>
<link xlink:href="107.xml#id.3.8.01.28"/>
<link xlink:href="107.xml#id.3.8.01.29"/>
<link xlink:href="107.xml#id.3.8.01.30"/>
<link xlink:href="107.xml#id.3.13.01.05"/>
<link xlink:href="107.xml#id.3.13.01.06"/>
<link xlink:href="107.xml#id.3.17.01.14"/>
<link xlink:href="107.xml#id.3.20.01.07"/>
<link xlink:href="107.xml#id.3.20.01.12"/>
<link xlink:href="107.xml#id.3.20.01.13"/>
<link xlink:href="107.xml#id.3.20.01.17"/>
<link xlink:href="107.xml#id.3.21.01.06"/>
<link xlink:href="107.xml#id.3.21.01.07"/>
<link xlink:href="107.xml#id.3.21.01.08"/>
<link xlink:href="107.xml#id.3.21.01.09"/>
<link xlink:href="107.xml#id.3.22.01.04"/>
<link xlink:href="107.xml#id.3.22.01.05"/>
<link xlink:href="107.xml#id.3.22.01.06"/>
<link xlink:href="107.xml#id.3.22.01.07"/>
<link xlink:href="107.xml#id.3.22.01.08"/>
<link xlink:href="107.xml#id.3.23.01.06"/>
<link xlink:href="107.xml#id.3.23.01.07"/>
<link xlink:href="107.xml#id.3.23.01.08"/>
<link xlink:href="107.xml#id.3.23.01.09"/>
<link xlink:href="107.xml#id.3.23.01.10"/>
<link xlink:href="107.xml#id.3.23.01.11"/>
<link xlink:href="107.xml#id.3.23.01.12"/>
<link xlink:href="107.xml#id.3.23.01.13"/>
<link xlink:href="107.xml#id.3.23.01.14"/>
<link xlink:href="107.xml#id.3.23.01.15"/>
<link xlink:href="107.xml#id.3.23.01.16"/>
<link xlink:href="107.xml#id.3.23.01.17"/>
<link xlink:href="107.xml#id.3.23.01.18"/>
<link xlink:href="107.xml#id.3.23.01.19"/>
<link xlink:href="107.xml#id.3.23.01.20"/>
<link xlink:href="107.xml#id.3.23.01.21"/>
<link xlink:href="107.xml#id.3.23.01.22"/>
<link xlink:href="107.xml#id.3.23.01.23"/>
<link xlink:href="107.xml#id.3.23.01.24"/>
<link xlink:href="107.xml#id.3.23.01.25"/>
<link xlink:href="107.xml#id.3.23.01.26"/>
<link xlink:href="107.xml#id.3.24.01.02"/>
<link xlink:href="107.xml#id.3.24.01.03"/>
<link xlink:href="107.xml#id.3.24.01.04"/>
<link xlink:href="107.xml#id.3.24.01.05"/>
<link xlink:href="107.xml#id.3.24.01.06"/>
<link xlink:href="107.xml#id.3.24.01.07"/>
<link xlink:href="107.xml#id.3.24.01.08"/>
<link xlink:href="107.xml#id.3.24.01.09"/>
<link xlink:href="107.xml#id.3.24.01.10"/>
<link xlink:href="107.xml#id.3.24.01.11"/>
<link xlink:href="107.xml#id.3.24.01.12"/>
<link xlink:href="107.xml#id.3.24.01.13"/>
<link xlink:href="107.xml#id.3.24.01.14"/>
<link xlink:href="107.xml#id.3.24.01.15"/>
<link xlink:href="107.xml#id.3.24.01.16"/>
<link xlink:href="107.xml#id.3.24.01.17"/>
<link xlink:href="107.xml#id.3.24.01.18"/>
<link xlink:href="107.xml#id.3.24.01.19"/>
<link xlink:href="107.xml#id.3.24.01.20"/>
<link xlink:href="107.xml#id.3.24.01.21"/>
<link xlink:href="107.xml#id.3.25.01.17"/>
<link xlink:href="107.xml#id.3.25.01.18"/>
<link xlink:href="107.xml#id.3.25.01.19"/>
<link xlink:href="107.xml#id.3.25.01.20"/>
<link xlink:href="107.xml#id.3.25.01.21"/>
<link xlink:href="107.xml#id.3.25.01.22"/>
<link xlink:href="107.xml#id.3.25.01.23"/>
<link xlink:href="107.xml#id.3.25.01.24"/>
<link xlink:href="107.xml#id.3.25.01.27"/>
<link xlink:href="107.xml#id.3.25.01.28"/>
<link xlink:href="107.xml#id.3.25.01.31"/>
<link xlink:href="107.xml#id.3.25.01.32"/>
<link xlink:href="107.xml#id.3.25.01.33"/>
<link xlink:href="107.xml#id.3.25.01.34"/>
<link xlink:href="107.xml#id.3.25.01.35"/>
<link xlink:href="107.xml#id.3.25.01.36"/>
<link xlink:href="107.xml#id.3.26.01.08"/>
<link xlink:href="107.xml#id.3.26.01.09"/>
<link xlink:href="107.xml#id.3.27.01.05"/>
<link xlink:href="107.xml#id.3.28.01.06"/>
<link xlink:href="107.xml#id.3.28.01.07"/>
<link xlink:href="107.xml#id.3.28.01.08"/>
<link xlink:href="107.xml#id.3.28.01.09"/>
<link xlink:href="107.xml#id.3.28.01.10"/>
<link xlink:href="107.xml#id.3.28.01.11"/>
<link xlink:href="107.xml#id.3.28.01.12"/>
<link xlink:href="107.xml#id.3.28.01.13"/>
<link xlink:href="107.xml#id.3.28.01.14"/>
<link xlink:href="107.xml#id.3.29.01.03"/>
<link xlink:href="107.xml#id.3.29.01.04"/>
<link xlink:href="107.xml#id.3.29.01.05"/>
<link xlink:href="107.xml#id.3.29.01.06"/>
<link xlink:href="107.xml#id.3.29.01.07"/>
<link xlink:href="107.xml#id.3.29.01.08"/>
<link xlink:href="107.xml#id.3.29.01.09"/>
<link xlink:href="107.xml#id.3.29.01.10"/>
<link xlink:href="107.xml#id.3.30.01.10"/>
<link xlink:href="107.xml#id.3.30.01.11"/>
<link xlink:href="107.xml#id.3.30.01.12"/>
<link xlink:href="107.xml#id.3.36.01.08"/>
<link xlink:href="107.xml#id.3.36.01.11"/>
<link xlink:href="107.xml#id.3.36.01.12"/>
<link xlink:href="107.xml#id.3.36.01.15"/>
<link xlink:href="107.xml#id.3.36.01.25"/>
</nodeset>
</chunk>
<!--problem 1 removed a nodeset tag here-->

</nodeset>
</chunk>


<chunk>
<name>objections</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.2.3.01.18"/>
<link xlink:href="107.xml#id.2.3.01.19"/>
<link xlink:href="107.xml#id.2.3.01.20"/>
<link xlink:href="107.xml#id.2.3.01.21"/>
<link xlink:href="107.xml#id.2.3.01.22"/>
<link xlink:href="107.xml#id.2.3.01.23"/>
<link xlink:href="107.xml#id.2.3.01.26"/>
<link xlink:href="107.xml#id.2.3.01.27"/>
<link xlink:href="107.xml#id.2.3.01.28"/>
<link xlink:href="107.xml#id.2.3.01.29"/>
<link xlink:href="107.xml#id.2.3.01.30"/>
<link xlink:href="107.xml#id.2.3.01.31"/>
<link xlink:href="107.xml#id.2.3.01.32"/>
<link xlink:href="107.xml#id.3.1.01.08"/>
<link xlink:href="107.xml#id.3.1.01.09"/>
<link xlink:href="107.xml#id.3.1.01.10"/>
<link xlink:href="107.xml#id.3.1.01.11"/>
<link xlink:href="107.xml#id.3.1.01.12"/>
<link xlink:href="107.xml#id.3.1.01.13"/>
<link xlink:href="107.xml#id.3.20.01.18"/>
<link xlink:href="107.xml#id.3.20.01.19"/>
<link xlink:href="107.xml#id.3.21.01.11"/>
<link xlink:href="107.xml#id.3.21.01.12"/>
<link xlink:href="107.xml#id.3.21.01.13"/>
<link xlink:href="107.xml#id.3.21.01.14"/>
<link xlink:href="107.xml#id.3.22.01.09"/>
<link xlink:href="107.xml#id.3.22.01.10"/>
<link xlink:href="107.xml#id.3.22.01.11"/>
<link xlink:href="107.xml#id.3.24.01.22"/>
<link xlink:href="107.xml#id.3.24.01.23"/>
<link xlink:href="107.xml#id.3.24.01.24"/>
<link xlink:href="107.xml#id.3.24.01.25"/>
<link xlink:href="107.xml#id.3.24.01.26"/>
<link xlink:href="107.xml#id.3.24.01.27"/>
<link xlink:href="107.xml#id.3.24.01.28"/>
<link xlink:href="107.xml#id.3.24.01.29"/>
<link xlink:href="107.xml#id.3.24.01.30"/>
<link xlink:href="107.xml#id.3.24.01.31"/>
<link xlink:href="107.xml#id.3.24.01.32"/>
<link xlink:href="107.xml#id.3.24.01.33"/>
<link xlink:href="107.xml#id.3.24.01.34"/>
<link xlink:href="107.xml#id.3.29.01.09"/>
<link xlink:href="107.xml#id.3.29.01.10"/>
</nodeset>
</chunk>

<chunk>
<name>further annotations</name>
<description></description>
<nodeset>
<link xlink:href="107.xml#id.3.1.01.14"/>
<link xlink:href="107.xml#id.3.1.01.15"/>
<link xlink:href="107.xml#id.3.1.01.16"/>
<link xlink:href="107.xml#id.3.1.01.17"/>
<link xlink:href="107.xml#id.3.1.01.18"/>
<link xlink:href="107.xml#id.3.1.01.19"/>
<link xlink:href="107.xml#id.3.2.01.22"/>
<link xlink:href="107.xml#id.3.2.01.23"/>
<link xlink:href="107.xml#id.3.2.01.26"/>
<link xlink:href="107.xml#id.3.2.01.29"/>
<link xlink:href="107.xml#id.3.4.01.10"/>
<link xlink:href="107.xml#id.3.7.01.05"/>
<link xlink:href="107.xml#id.3.15.01.08"/>
<link xlink:href="107.xml#id.3.15.01.09"/>
<link xlink:href="107.xml#id.3.25.01.11"/>
<link xlink:href="107.xml#id.3.25.01.12"/>
<link xlink:href="107.xml#id.3.25.01.13"/>
<link xlink:href="107.xml#id.3.25.01.37"/>
<link xlink:href="107.xml#id.3.25.01.38"/>
<link xlink:href="107.xml#id.3.25.01.39"/>
<link xlink:href="107.xml#id.3.25.01.40"/>
<link xlink:href="107.xml#id.3.25.01.41"/>
<link xlink:href="107.xml#id.3.30.01.04"/>
<link xlink:href="107.xml#id.3.30.01.05"/>
</nodeset>
</chunk>

</archimedes>