<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">A Unifying Approach to Boundaries and Multidimensional Mereotopology</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<persName><forename type="first">Yixin</forename><surname>Sun</surname></persName>
							<email>yixin.sun@mail.utoronto.ca</email>
						</author>
						<author>
							<persName><forename type="first">Michael</forename><surname>Grüninger</surname></persName>
							<email>gruninger@mie.utoronto.ca</email>
						</author>
						<author>
							<affiliation key="aff0">
								<orgName type="department">Department of Mechanical and Industrial Engineering</orgName>
								<orgName type="institution">University of Toronto</orgName>
								<address>
									<settlement>Toronto</settlement>
									<region>Ontario</region>
									<country key="CA">Canada</country>
								</address>
							</affiliation>
						</author>
						<author>
							<affiliation key="aff1">
								<address>
									<postCode>2023</postCode>
									<settlement>Sherbrooke</settlement>
									<region>Québec</region>
									<country key="CA">Canada</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">A Unifying Approach to Boundaries and Multidimensional Mereotopology</title>
					</analytic>
					<monogr>
						<idno type="ISSN">1613-0073</idno>
					</monogr>
					<idno type="MD5">F7B205CA040DBE5E3F8E9211102C6CE4</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2025-04-23T19:26+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<textClass>
				<keywords>
					<term>mereology</term>
					<term>dimension</term>
					<term>boundary</term>
					<term>topology</term>
					<term>manifold</term>
				</keywords>
			</textClass>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>Mereotopologists generally come from either a point-set or algebraic topology perspective when developing boundary-based theories. Some involve dimensional aspects while others do not. Little work has studied whether the existing boundary characterizations convey the same meaning regardless of the mereotopology they build upon. To address this gap, we introduce a new mathematical theory that can be used as a unifying framework for boundaries in both multidimensional and nondimensional mereotopologies. With the proposed unifying framework, we are able to interpret both multidimensionaland nondimensional-based mereotoplogies.</p></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="1.">Introduction</head><p>The Winograd Schema Challenge (WSC) <ref type="bibr" target="#b0">[1]</ref> is an improvement to the Turing test, where a machine is asked to resolve the reference to a pronoun phrase (anaphora resolution). Many questions within WSC refer to spatial relations among parts, parts of parts and the boundaries between parts. For example <ref type="bibr" target="#b1">[2]</ref>:</p><p>There is a gap in the wall. You can see the garden [through/behind] it. You can see the garden [through/behind] what? Answers: The gap/the wall.</p><p>To approach this specific anaphora resolution, one must understand the intended semantics behind the spatial preposition, "through". In particular, the intended semantics can be captured through formalizing in terms of mereotopology: a theory manifesting mereological and topological classes and relations <ref type="bibr" target="#b2">[3]</ref>.</p><p>It is also worth characterizing two-dimensional lines, paths and cycles-exemplified in the following oil painting done by Wassily Kandinsky. Different from perfect geometric shapes, this composite of zero-, one-, and two-dimensional entities is what appears in reality. We want to investigate the capabilities of existing mereotopologies in characterizing such "imperfect" spaces. To answer the questions posed by these two motivating scenarios, we need to closely examine the notion of boundary. Little study has successfully formalized the notion of crossing a boundary, inclusive of all dimensions. In the WSC sentence pair, the preposition "through" <ref type="bibr" target="#b4">[5]</ref> indicates a movement that goes into at one side and out at another. Hence, we need to study crossing the boundary in terms of a three-dimensional region. On the other hand, the depiction of overlapped points, lines, and cycles in Kandinsky's oil painting crosses both boundaries and dimensions. This brings our attention to the representation of boundaries across one and multiple dimensions.</p><p>The formalization of boundary has long been a topic of discussion in mereotopology. Boundary-agnostic theories have been excluded in this work for two reasons <ref type="bibr" target="#b2">[3]</ref>. First, ignoring boundaries contradict the topological distinctions between open and closed entities. Next, in the absence of boundaries, an entity can be connected to its complement. The omission of boundary-less approaches leaves us with two directions for boundary-based approaches. Previous work has taken either a multi-dimensional or non-dimensional perspective. Smith's mereotopology <ref type="bibr" target="#b5">[6]</ref> ignores dimension. His axiomatization arises from point-set topology in which he uses the relation 𝑠𝑡𝑟𝑎𝑑𝑑𝑙𝑒(𝑥, 𝑦), defined by a primitive relation 𝐼𝑃 (𝑥, 𝑦) (x is an interior part of y). He then takes the sum of all boundary points to form a complete set of boundary. The advocates for multidimensional characterizations come from an algebraic topology perspective; led by Gotts <ref type="bibr" target="#b6">[7]</ref> and Galton <ref type="bibr" target="#b7">[8]</ref>, they take the boundary entity to be one dimension lower than the object it is attached to. Galton's theory defines the notion of boundary as a primitive relation. Gott's establishment in INCH Calculus is examined by Hahmann <ref type="bibr" target="#b8">[9]</ref>. Hahmann's mereotopology -CODI -is definably equivalent to the corrected INCH Calculus.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="1.1.">Main Contributions</head><p>The various formalization regarding the notion of boundary best showcases disagreement behind characterizing spatial entities among mereotopologies. Few studies have focused on comparing and harmonizing different perspectives. The main problem we are solving is to find a minimal theory to axiomatize the notion of dimension for elements of a mereology. We introduce the notion of a multimereology, which amalgamates a mereology with an incidence structure to partition partial orderings.</p><p>The paper is organized as follows. Section 2 introduces the root theories of multimereology. Inspired by the notion of topological manifolds, Section 3 is initiated from a combinatorial topology standpoint to examine the comprehensiveness of possible multimereology candidates against certain use cases. Section 4 showcases a successful application of our proposed multimereology to be logical equivalent to CODI, a multidimensional mereotopology. Section 5 returns to the motivating question of boundary classification and unification.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.">Structures for Multidimensional Mereologies</head><p>In designing an ontology, our objective is twofold -first, to prove that the models of the ontology are actually the intended models, and second, to demonstrate that the intended models do indeed formalize the ontological commitments. Our strategy is to first specify a class of mathematical structures and show that the ontology axiomatizes this class of structures (that is, there is a one-to-one correspondence between the class of models of the ontology and the class of mathematical structures). We then specify a representation theorem for this class of mathematical structures to demonstrate that it formalizes the ontological commitments. The primary benefit of this strategy is that it makes explicit the modular organization of the subtheories of the ontology, thereby highlighting how other ontologies are reused.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.1.">Multimereologies</head><p>The first step is to specify the class of structures which capture the following intuitions and ontological commitments about multidimensional mereology:</p><p>1. Each entity has a unique dimension.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.">Dimensions are linearly ordered.</head><p>3. There is a parthood relation that is specified on entities with the same dimension.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.">Incidence corresponds to a multidimensional ordering.</head><p>To formalize these semantic requirements for a multidimensional mereology, we introduce the notion of a multimereology as the amalgamation of a partial ordering with an incidence structure. Incidence structures are a generalization of geometry, first introduced by Gino Fano and later used by Hilbert in his axiomatization of Euclidean geometry. Definition 1. A k-partite incidence structure is a tuple I = ⟨Ω 1 , ..., Ω 𝑘 , I⟩, where Ω 1 , ..., Ω 𝑘 are sets such that Ω 𝑖 ∩ Ω 𝑗 = ∅, 𝑖 ̸ = 𝑗 and I ⊆ ( ⋃︀ 𝑖̸ =𝑗 Ω 𝑖 × Ω 𝑗 ). Two elements of I that are related by I are called incident. The neighbourhood of an element is the set of elements which are incident with it: 𝑁 (x) = {y : ⟨x, y⟩ ∈ I} Incidence structures are ideally suited to represent the dimensionality of different entities. In a tripartite incidence structure, points can be thought of as 0-dimensional, lines as 1-dimensional, and planes as 2-dimensional.</p><p>How is the incidence structure in a multimereology related to the partial ordering? The first approach to this question is to consider incidence to itself be a parthood relation, and enforce the transitivity of the incidence relation: Definition 2. A tripartite incidence structure I = ⟨𝑃, 𝐿, 𝑄, I⟩ is transitive iff</p><formula xml:id="formula_0">I ∘ I ⊆ I</formula><p>At first glance, this might seem unusual since the incidence relation is symmetric; we therefore use the following notion from graph theory which allows us to associate a transitive symmetric incidence relation with a partial ordering: Definition 3. The comparability graph for a partial ordering Q = ⟨𝑀, ≤⟩ is a graph G Q = ⟨𝑉, E⟩ such that (x, y) ∈ E ⇔ x ≤ y or y ≤ x</p><p>A second alternative approach is to start with the "global" partial ordering that applies to all entities, and then use the incidence structure to specify "local" partial orderings on the sets of points, lines, and planes. We therefore need to specify how the suborderings on each of these sets is related to the entire partial ordering. Definition 4. The upper set for x in a poset P, denoted by 𝑈 P (x), is</p><formula xml:id="formula_1">𝑈 P (x) = {y : x ≤ y}</formula><p>The lower set for x in a poset P, denoted by 𝐿 P (x), is</p><formula xml:id="formula_2">𝐿 P (x) = {y : y ≤ x}</formula><p>With the aid of this terminology, we can impose the following conditions. The set of points forms a lower set in the partial ordering, so that all parts of points are points. The set of planes forms an upper set in the partial ordering, so that all elements that contain planes as parts are also planes. The set of lines forms an interval within the partial ordering. Alternatively, we can think of the incidence structure as partitioning the elements of the partial ordering into the disjoint classes of points, lines, and planes. Both of these perspectives will be used as the basis for the formalization. Definition 5. Q ⊕ I 1 is a multimereology iff 1 The ⊕ symbol denotes the amalgamation of structures <ref type="bibr" target="#b9">[10]</ref>. </p><formula xml:id="formula_3">1. Q = ⟨𝑃 ∪ 𝐿 ∪ 𝑄, ≤⟩ such that Q ∈ M 𝑝𝑎𝑟𝑡𝑖𝑎𝑙_𝑜𝑟𝑑𝑒𝑟𝑖𝑛𝑔 ; 2. I = ⟨𝑃, 𝐿, 𝑄, I⟩ such that I ∈ M 𝑐𝑙𝑜𝑠𝑒𝑑_𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑒_𝑡𝑟𝑖𝑝𝑎𝑟𝑡𝑖𝑡𝑒 ; 3. ⟨𝑃 ∪ 𝐿 ∪ 𝑄, I⟩ ⊆ G Q ; 4. if x ∈ 𝑃 , then 𝐿 Q (x) ⊆ 𝑃 ; 5. if x, y ∈ 𝐿, then 𝑈 Q (x) ∩ 𝐿 Q [y] ⊆ 𝐿; 6. if x ∈ 𝑄, then 𝑈 Q (x) ⊆ 𝑄.</formula><p>Examples of multimereologies can be seen in Figure <ref type="figure" target="#fig_1">2</ref>. Figure <ref type="figure" target="#fig_1">2</ref>(a) shows a mereology that has been partitioned into three disjoint sets containing equidimensional elements, while Figure <ref type="figure" target="#fig_1">2</ref>(b) is the corresponding tripartite incidence structure. In this example, the element 34 is an equidimensional part of the element 345, and the element 2345 is an equidimensional part of the element 12345. On the other hand, since 345 is a line and 2345 is a plane in the incidence structure, they are related by incidence, even though in the "global" mereology they are related by parthood.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.1.1.">Representation Theorem</head><p>Intuitively, each partitioning of a partial ordering corresponds to a unique multimereology, and each multimereology can be used to specify a partitioning of a partial ordering. This intuition forms the basis for the representation theorem for multimereologies. We begin by formalizing the idea of partitioning.</p><formula xml:id="formula_4">Definition 6. Suppose Q, P ∈ M 𝑝𝑎𝑟𝑡𝑖𝑎𝑙_𝑜𝑟𝑑𝑒𝑟𝑖𝑛𝑔 such that Q = ⟨𝑉 1 , ≤⟩, P = ⟨𝑉 2 , ⪯⟩.</formula><p>A mapping 𝜇 :</p><formula xml:id="formula_5">Q → P is a poset homomorphism iff x ≤ y ⇒ 𝜇(x) ⪯ 𝜇(y)</formula><p>For poset homomorphism, we want to explicitly identify the equivalence class of elements of Q that all map to the same element of P: Definition 7. Suppose the mapping 𝜇 : Q → P is a poset homomorphism.</p><p>𝑆 𝜇 (x) = {y : 𝜇(x) = 𝜇(y)} For example, in Figure <ref type="figure" target="#fig_1">2</ref>(a),</p><formula xml:id="formula_6">𝑆 𝜇 (12) = {12, 23, 34, 45, 123, 234, 345}</formula><p>The idea is that all elements with the same dimension are in the same equivalence class. One of the semantic requirements for multimereologies is that there be a linear ordering on dimensions; if we consider the poset homomorphism to be the mapping from elements to their dimension, then we are particularly interested in the set of poset homomorphisms between partial orderings and finite linear orderings.</p><p>Theorem 1. Let 𝐻𝑜𝑚(M 𝑝𝑎𝑟𝑡𝑖𝑎𝑙_𝑜𝑟𝑑𝑒𝑟𝑖𝑛𝑔 , 3) denote the set of all poset homomorphisms between partial orderings and the finite linear ordering with 3 elements. There is a bijection: 𝜙 : 𝐻𝑜𝑚(M 𝑝𝑎𝑟𝑡𝑖𝑎𝑙_𝑜𝑟𝑑𝑒𝑟𝑖𝑛𝑔 , 3) → M 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 such that for any</p><formula xml:id="formula_7">Q ∈ M 𝑝𝑎𝑟𝑡𝑖𝑎𝑙_𝑜𝑟𝑑𝑒𝑟𝑖𝑛𝑔 , 𝜙(𝜇) = Q ⊕ I iff 𝜇 : Q → 3 and 𝑁 I (x) = ((𝐿 Q [x] ∪ 𝑈 Q [x]) ∖ 𝑆 𝜇 (x))</formula><p>In other words, each multimereology corresponds to a poset homomorphism between a partial ordering and a linear ordering, and any poset homomorphism between a partial ordering and a linear ordering can be used to construct a multimereology.</p><p>In Figure <ref type="figure" target="#fig_1">2</ref>(a), all elements of the partial ordering that are points in the incidence structure are exactly the elements that are mapped to the minimum element of the linear ordering. Similarly, all elements of the partial ordering that are planes in the incidence structure are exactly the elements that are mapped to the maximum element of the linear ordering.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.1.2.">Axiomatization</head><p>𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 can be found in Figure <ref type="figure" target="#fig_1">2</ref>.1.2. The first three axioms are for partial orderings (condition (1) in Definition 5) axioms ( <ref type="formula" target="#formula_10">4</ref>)-( <ref type="formula" target="#formula_16">10</ref>) are for closed transitive tripartite incidence structures (condition (2) in Definition 5). Axiom <ref type="bibr" target="#b10">(11)</ref> axiomatizes condition (3) in Definition 5. Finally, axioms ( <ref type="formula" target="#formula_18">12</ref>)-( <ref type="formula" target="#formula_20">14</ref>) axiomatize conditions (4), <ref type="bibr" target="#b4">(5)</ref>, and (6) respectively in Definition 5.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Theorem 2. There exists a bijection</head><formula xml:id="formula_8">𝜙 : 𝑀 𝑜𝑑(𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 ) 2 → M 3𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 such that 1. ⟨x, y⟩ ∈ part ℳ4 iff x ∈ 𝐿 Q [y]. 2. ⟨x, y⟩ ∈ in ℳ iff x ∈ 𝑁 I [y]. ∀𝑥 𝑝𝑎𝑟𝑡(𝑥, 𝑥) (1) ∀𝑥, 𝑦 𝑝𝑎𝑟𝑡(𝑥, 𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑦, 𝑥) ⊃ (𝑥 = 𝑦)<label>(2)</label></formula><p>∀𝑥, 𝑦, 𝑧 𝑝𝑎𝑟𝑡(𝑥, 𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑦, 𝑧) ⊃ 𝑝𝑎𝑟𝑡(𝑥, 𝑧)</p><p>∀𝑥 𝑖𝑛(𝑥, 𝑥)</p><p>∀𝑥, 𝑦 𝑖𝑛(𝑥, 𝑦) ⊃ 𝑖𝑛(𝑦, 𝑥)</p><p>∀𝑥, 𝑦 𝑝𝑜𝑖𝑛𝑡(𝑥) ∧ 𝑝𝑜𝑖𝑛𝑡(𝑥) ∧ 𝑖𝑛(𝑥, 𝑦) ⊃ (𝑥 = 𝑦)</p><p>∀𝑥, 𝑦 𝑙𝑖𝑛𝑒(𝑥) ∧ 𝑙𝑖𝑛𝑒(𝑥) ∧ 𝑖𝑛(𝑥, 𝑦) ⊃ (𝑥 = 𝑦)</p><p>∀𝑥, 𝑦 𝑝𝑙𝑎𝑛𝑒(𝑥) ∧ 𝑝𝑙𝑎𝑛𝑒(𝑦) ∧ 𝑖𝑛(𝑥, 𝑦) ⊃ (𝑥 = 𝑦)</p><p>∀𝑥, 𝑦, 𝑧 𝑖𝑛(𝑥, 𝑦) ∧ 𝑖𝑛(𝑦, 𝑧) ⊃ 𝑖𝑛(𝑥, 𝑧)</p><formula xml:id="formula_15">∀𝑥 (𝑝𝑜𝑖𝑛𝑡(𝑥) ∨ 𝑙𝑖𝑛𝑒(𝑥) ∨ 𝑝𝑙𝑎𝑛𝑒(𝑥))<label>(9)</label></formula><formula xml:id="formula_16">∀𝑥, 𝑦 (𝑖𝑛(𝑥, 𝑦) ⊃ (𝑝𝑎𝑟𝑡(𝑥, 𝑦) ∨ 𝑝𝑎𝑟𝑡(𝑦, 𝑥)))<label>(10)</label></formula><p>∀𝑥, 𝑦 ((𝑝𝑜𝑖𝑛𝑡(𝑥) ∧ 𝑝𝑎𝑟𝑡(𝑦, 𝑥)) ⊃ 𝑝𝑜𝑖𝑛𝑡(𝑦))</p><p>∀𝑥, 𝑦, 𝑧 ((𝑙𝑖𝑛𝑒(𝑥)</p><formula xml:id="formula_19">∧ 𝑙𝑖𝑛𝑒(𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑥, 𝑧) ∧ 𝑝𝑎𝑟𝑡(𝑧, 𝑦)) ⊃ 𝑙𝑖𝑛𝑒(𝑧))<label>(13)</label></formula><p>∀𝑥, 𝑦 ((𝑝𝑙𝑎𝑛𝑒(𝑥) ∧ 𝑝𝑎𝑟𝑡(𝑥, 𝑦)) ⊃ 𝑝𝑙𝑎𝑛𝑒(𝑦))</p><p>∀𝑥, 𝑦 (𝑒𝑞𝑝𝑎𝑟𝑡(𝑥, 𝑦) ≡ ( <ref type="formula">15</ref>)</p><formula xml:id="formula_21">((𝑝𝑜𝑖𝑛𝑡(𝑥) ∧ 𝑝𝑜𝑖𝑛𝑡(𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑥, 𝑦))∨ (𝑙𝑖𝑛𝑒(𝑥) ∧ 𝑙𝑖𝑛𝑒(𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑥, 𝑦)) ∨ (𝑝𝑙𝑎𝑛𝑒(𝑥) ∧ 𝑝𝑙𝑎𝑛𝑒(𝑦) ∧ 𝑝𝑎𝑟𝑡(𝑥, 𝑦))))</formula><p>Figure <ref type="figure">3</ref>: 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 : Axiomatization of multimereology.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.">⟨x, y⟩</head><formula xml:id="formula_22">∈ eqpart ℳ iff x ∈ 𝐿 ⟨𝑃,≤⟩ [y] ∪ 𝐿 ⟨𝐿,≤⟩ [y] ∪ 𝐿 ⟨𝑄,≤⟩ [y].</formula><p>Theorem 2 together with Theorem 1 show that we have characterized the models of 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 up to isomorphism as the class of multimereologies. Moreover, we can easily see how multimereologies satisfy the semantic requirements. The incidence structure guarantees that elements are assigned a unique dimension and that the dimensions are linearly ordered. By partitioning the mereology into intervals of elements with the same dimension, we have both a parthood relation that is specified on entities with the same dimension., and a multidimensional parthood relation.</p><p>Although any partial ordering can be amalgamated with an incidence structure to construct a multimereology, two questions arise:</p><p>1. What is the appropriate partial ordering to represent the "global mereology"? 2. What criteria do we need to impose on the partitioning of the partial ordering into "local" equidimensional mereologies?</p><p>To answer these questions, we turn to the field of algebraic topology and the notion of topological manifold. </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.">Mereology and Topological Manifolds</head><p>Mathematicians have long used the notion of manifold to formalize the topology of shape and space. Of key interest for this paper is that topological manifolds provide an explicit notion of dimension -an n-dimensional manifold is a topological space in which every point has a neighbourhood that is homeomorphic to R 𝑛 . In this section, we explore how different combinatorial structures for topological manifolds are related to multimereologies, and arrive at a suitable generalization of both that can serve as the basis for the framework that we seek to unify the nondimensional and multidimensional approaches to mereologies.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.1.">Simplicial Complexes</head><p>One combinatorial approach to the notion of manifold can be found in the notion of an abstract simplicial complex, which is a collection of finite sets that is closed under taking subsets: Definition 8. A family of sets Δ is called an abstract simplicial complex if, for every set X in Δ and every non-empty subset 𝑌 ⊆ 𝑋, we have 𝑌 ∈ Δ.</p><p>An example of an abstract simplicial complex can be found in Figure <ref type="figure" target="#fig_2">4</ref>(b). The dimension of an element in an abstract simplicial complex is equal to one less than the cardinality of the set corresponding to the element. Thus, the dimension of the element 23 is one and the dimension of the element 123 is two. A simplicial 𝑛-complex is a simplicial complex in which the maximal dimension of an element in 𝑛.</p><p>Interestingly, we can associate a mereology with any abstract simplicial complex. Recall that classical extensional mereology 𝑇 𝑐𝑒𝑚_𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 is the axiomatization of classical mereology together with the Strong Supplementation Principle <ref type="foot" target="#foot_2">5</ref> . Let 𝑇 2𝐷𝑐𝑒𝑚_𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 be the extension of 𝑇 𝑐𝑒𝑚_𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 in which all models have rank 3 (i.e. all maximal chains in the model have cardinality 3). Theorem 3. 𝑇 2𝐷𝑐𝑒𝑚_𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 is logically synonymous <ref type="bibr" target="#b9">[10]</ref> to 𝑇 𝑠𝑖𝑚𝑝𝑙𝑖𝑐𝑖𝑎𝑙_2𝑐𝑜𝑚𝑝𝑙𝑒𝑥 <ref type="foot" target="#foot_3">6</ref> .</p><p>In other words, there is a one-one-correspondence between simplicial 2-complexes and models of 𝑇 2𝐷𝑐𝑒𝑚_𝑚𝑒𝑟𝑒𝑜𝑙𝑜𝑔𝑦 . In this sense, classical extensional mereology is the natural mereology for simplicial complexes. Nevertheless, even though we can associate a mereology with simplicial complexes, this approach falls short because it is trivial on equidimensional elements -no chain in the mereology contains elements with the same dimension. On the other hand, multimereologies allow models in which there is a nontrivial mereology on equidimensional elements.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.2.">CW Complexes</head><p>An alternative approach to topological manifolds, from a combinatorial point of view, is the notion of a CW-complex, and we can ask how it can be related to mereologies. To start, we adopt Hatcher's definition <ref type="bibr" target="#b10">[11]</ref>: Definition 9. CW complex is a space 𝑋 constructed in the following way:</p><p>1. Start with a discrete set 𝑋 0 , the 0-cell of 𝑋. A CW complex is constructed by induction via a cell attachment process. Simply put, each cell is attached to the existing one at its boundary in increasing order of dimensions. The connected graph in Figure <ref type="figure">5</ref>(a) is the 1-skeleton of a CW complex. Figure <ref type="figure">5</ref>(b) is the mereological representation corresponding to the construct of a CW complex. Since the 1-cells in the construction of a CW-complex are edges, the notion of "a path in a graph", like that of 123 in Figure <ref type="figure">5</ref>(a), does not exist in the context of a CW complex. Nonetheless, in multimereology, we indeed want to differentiate between an edge and a path. Even though a path is homeomorphic to an edge, we want to treat paths and edges as two separate entities that are of the same dimension.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.">Inductively, form the n-skeleton</head><p>In this sense, CW complexes suffer from the same drawback as simplicial complexes on non-trivially representing equidimensional elements. Even though we need a more general structure than CW complexes to formalize mereologies and dimensionality, we still obtain the key insight that each 1-complex is a connected graph. Therefore, the associated mereology should correspond to the connected induced subgraphs of the graph that is the 1-complex.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.3.">Connected Induced Subgraph Containment Orderings</head><p>In the mereotopology 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 <ref type="bibr" target="#b11">[12]</ref>, the sum of two elements exists iff they are connected. A weaker mereotopology 𝑇 𝑤𝑒𝑎𝑘_𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 alllows connected elements that do not have sums, although elements for which sums do exist must be connected. In a model of 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 , there is one-to-one correspondence between elements in the mereology and connected induced Furthermore, many graph-theoretic properties are definable within the mereotopology. Paths in the graphs correspond to minimal upper bounds in the mereology and cycles in the graph correspond to triangles within the connection structure of the mereotopology. The identification of paths and cycles within an underlying graph is precisely the way in which we can use 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 as the mereology within a multimereology that extends the structure of a CW-complex. Even though 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 axiomatizes a mereology which is nondimensional, it is able to distinguish among elements which in the context of CW-complexes have different dimensions. On the other hand, 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 also axiomatizes the mereology among elements with the same dimension, such as subpaths of paths and cycles which are subgraphs of 2-complexes.</p><p>Figure <ref type="figure" target="#fig_3">6</ref>(a) showcases CISCO structure in representation of a 2-connected graph. We can non-trivially partition this given mereology into Figure <ref type="figure" target="#fig_3">6(b)</ref>. Element 124 is incident to 1234, and it is an equi-dimensional part of 1245.</p><p>An application of a multimereology based on 𝑇 𝑐𝑖𝑠𝑐𝑜 can be seen in the Molecular Structure Ontology (MoSt) <ref type="bibr" target="#b12">[13]</ref>. MoSt is an ontology to describe the shape of a molecule; it treats functional groups, that are composed of rings and chains, to be incident to skeletons, while</p><formula xml:id="formula_23">functional groups skeletons s 1 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v</formula><p>s X k p q a l g = = &lt; / l a t e x i t &gt; s 2 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9   </p><formula xml:id="formula_24">N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i 1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9 N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i 1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9 N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i 1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9 N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i 1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; s 3 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; s 4 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8 C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8 C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8 C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8 C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; g 1 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; g 2 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4 + + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1 Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_25">Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_26">Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_27">Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D e a h w = = &lt; / l a t e x i t &gt; g 3 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C</formula><p>n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; g 4 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8</p><formula xml:id="formula_28">T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8</p><formula xml:id="formula_29">T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8</p><formula xml:id="formula_30">T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 </p><formula xml:id="formula_31">T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L</formula><formula xml:id="formula_32">U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I</formula><p>R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h</p><formula xml:id="formula_33">I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I</formula><p>R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h</p><formula xml:id="formula_34">I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z g e I</formula><p>R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " h j L q x I 4 W z 2 W M l 7 r B F h      </p><formula xml:id="formula_35">I h o m D 9 f 4 U = " &gt; A A A C F X i c b V D L S s N A F L 3 x W e s r 6 t J N s A g u S k l E 1 G X B j c s K 9 g F p C J P p J B 0 6 m Y S Z i V B C f s K N v + L G h S J u B X f + j d O 0 B W 2 9 M H D m n H v u 3 D l B y q h U t v 1 t r K y u r W 9 s V r a q 2 z u 7 e / v m w W F H J p n A p I 0 T l o h e g C R h l J O 2 o o q R X i o I i g N G u s H o Z q J 3 H 4 i Q N O H 3 a p w S L 0 Y R p y H F S G n K N + t 5 v x z i i i j w c q d h l 1 W 3 F 0 E R + U 7 h m 7 X 5 3 V o G c 3 M N Z t X y z a / + I M F Z T L j C D E n p O n a q v B w J R T E j R b W f S Z I i P E I R c T X k K C b S y 8 u F C u t U M w M r T I Q + X F k l + 9 u R o 1 j K c R z o z h i p o V z U J u R / m p u p 8 N r L K U 8 z R T i e P h R m z F K J N Y n I G l B B s G J j D R A W V O 9 q 4 S E S C C s d Z F W H 4 C x + e R l 0 z h u O 3 X D u L m r N y 1 k c F T i G E z g D B 6 6 g C b f Q g j Z</formula><formula xml:id="formula_36">Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_37">U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1 Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_38">U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1 Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D</formula><formula xml:id="formula_39">U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1 Z v Z q L z E 5 o H n Z K b R M g s 0 T a O 9 I O V u 5 o H b y l 2 9 s T j D V W J V p A E q d F 3 9 a z S O c R q S S G K G h L A t M 5 F O h r i k m J G 8 P k o F S R C e o o D Y i k Y o J M L J y o F y e K 6 U M f R j r l Y k Y a n + 7 s h Q K M Q s 9 F R l i O R E L H u F + J 9 n p 9 K / d j I a J a k k E Z 4 / 5 K c M y h g W E c E x 5 Q R L N l M E Y U 7 V r B B P E E d Y q i D r K g R r + c u r p N 8 y L N O w 7 i 4 b n X Y V R w 2 c g j N w A S x w B T r g F n R B D 2 D w C J 7 B K 3 j T n r Q X 7 V 3 7 m J e u a V X P C f g D 7 f M H f D e a h w = = &lt; / l a t e x i t &gt; g 3 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " H z i A T c b K M M Y p M d y t u Y q m 3 X h B T 1 4 = " &gt; A A A C F X i c b Z D L S s Q w F I Z T r + N 4 q 7 p 0 E x w E F 0 N J v S 8 H 3 L g c w b l A p 5 Q 0 k 3 b C p B e S V B h K X 8 K N r + L G h S J u B X e + j e l c Q G c 8 E P j 4 / 3 O S k 9 9 P O Z M K o W 9 j a X l l d W 2 9 s l H d 3 N r e 2 T X 3 9 t s y y Q S h L Z L w R H R 9 L C l n M W 0 p p j j t p o L i y O e 0 4 w 9 v S r / z Q I V k S X y v R i l 1 I x z G L G A E K y 1 5 Z j 3 v j S 9 x R O i 7 O b I u U F l 1 Z K E Z T J Q i 9 M 4 K z 6 z N D L g I 9 h R q Y F p N z / z q 9 R O S R T R W h G M p H R u l y s 2 x U I x w W l R 7 m a Q p J k M c U k d j j C M q 3 X y 8 U A G P t d K H Q S L 0 i R U c q 7 8 n c h x J O Y p 8 3 R l h N Z D z X i n + 5 z m Z C q 7 d n M V p p m h M J g 8 F G Y c q g W V E s M 8 E J Y q P N G A i m N 4 V k g E W m C g d Z F W H Y M 9 / e R H a p 5 a N L P v u v N a 4 n M Z R A Y f g C J w A G 1 y B B r g F T d A C B D y C Z / A K 3 o w n 4 8 V 4 N z 4 m r U v G d O Y A / C n j 8 w e A 2 J q K &lt; / l a t e x i t &gt; H 3 C H 2 C</formula><formula xml:id="formula_40">L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L</formula><formula xml:id="formula_41">A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = "</p><formula xml:id="formula_42">&gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = "</p><formula xml:id="formula_43">&gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B</formula><p>7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt;</p><formula xml:id="formula_44">H 3 C H 2 C O C O CH 3 s 1 &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " L E W Q Q / b k s J y k 6 s 4 R g b 6 9 h w s + o 2 0 = " &gt; A A A C F X i c d V D L S s N A F L 2 p r 1 p f U Z d u B o v g o o R E f C 0 L b l x W s A 9 I Q 5 h M J + 3 Q y Y O Z i V B C f 8 K N v + L G h S J u B X f + j d O 0 A R U 9 M H A 4 5 9 w 7 l x O k n E l l 2 5 9 G Z W l 5 Z X W t u l 7 b 2 N z a 3 j F 3 9 z o y y Q S h b Z L w R P Q C L C l n M W 0 r p j j t p Y L i K O C 0 G 4 y v Z n 7 3 j g r J k v h W T V L q R X g Y s 5 A R r L T k m 4 2 8 X y x x x T D w c s e y C z R s 6 6 w k c 2 U q f W f q m / U y g c o E K h O o t O q w Q M s 3 P / q D h G Q R j R X h W E r X s V P l 5 V g o R j i d 1 v q Z p C k m Y z y k r q Y x j q j 0 8 u K g K T r S y g C F i d A v V q h Q v 0 / k O J J y E g U 6 G W E 1 k r + 9 m f i X 5 2 Y q v P R y F q e Z o j G Z f x R m H K k E z S p C A y Y o U X y i C S a C 6 V s R G W G B i d J F 1 r 6 X 8 D / p n F i O b T k 3 p / X m + a K O K h z A I R y D A x f Q h G t o Q R s I 3 M M j P M O L 8 W A 8 G a / G 2 z x a M R Y z + / A D x v s X k p q a l g = = &lt; / l a t e x i t &gt; s 2</formula><p>&lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9</p><formula xml:id="formula_45">N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i 1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f</formula><p>y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9     </p><formula xml:id="formula_46">N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1 v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i</formula><formula xml:id="formula_47">v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i</formula><formula xml:id="formula_48">v Y 2 V 1 b X 1 j s 7 R V 3 t 7 Z 3 d s 3 D w 4 7 M k o E J m 0 c s U j 0 f C Q J o 5 y 0 F V W M 9 G J B U O g z 0 v X H N 1 O / + 0 C E p B G / V 5 O Y u C E a c h p Q j J S W P L O a 9 v M h j h j 6 b m r X L m x 4 3 Y D V O W L n y K R X z z y z 8 n u 3 l g k s S A U U a H n m V 3 8 Q 4 S Q k X G G G p H S g H S s 3 R U J R z E h W 7 i e S x A i P 0 Z A 4 m n I U E u m m + U K Z d a q V g R V E Q h + u r F y d 7 0 h R K O U k 9 H V l i N R I L n p T 8 T / P S V R w 5 a a U x 4 k i H M 8 e C h J m q c i a R m Q N q C B Y s Y k m C A u q d 7 X w C A m E l Q 6 y r E O A i</formula><formula xml:id="formula_49">P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x /</formula><formula xml:id="formula_50">l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x / y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y x V k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q P O D D h X r F K p g R I t V / / o D y K c B C S U m C E h b M u M p Z M i L i l m J K v 2 E 0 F i h M d o S G x F Q x Q Q 4 a T F Q h k 8 V M o A + h F X J 5 S w U L 9 P p C g Q Y h J 4 K h k g O R K / v V z 8 y 7 M T 6 V 8 4 K Q 3 j R J I Q T x /</formula><formula xml:id="formula_51">Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8</formula><p>C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y</p><formula xml:id="formula_52">x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8</formula><p>C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y</p><formula xml:id="formula_53">x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8</formula><p>C O M t 0 + j Q 5 q h &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n y allowing a skeleton to be part of another skeleton. In other words, functional groups are one dimension lower than skeletons. Due to the nature of chemistry, not all decomposition of molecules is viable. There is a fixed set of criteria to outline how functional groups can be associated to form a skeleton. As outlined by Figure <ref type="figure">7</ref>, even though g3 is connected to g2, they do not have a sum. If we were to explain MoSt in the language of multimereology, we would identify an equi-dimensional parthood relation among skeletons, and partitioning criteria across dimensions to accommodate for chemical bonding. Another application can be seen from the motivating scenario, in which we want to represent hollow object like a gap in the wall. In 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 , we define a surface to be two-dimensional. Holes and surfaces share the same subgraph in CISCO since a hole forms a cycle, exhibiting the properties of a two-dimensional surface. Nevertheless, intuitively, we know that a solid surface should be a dimension higher than a hollow surface. Since multimereology has the freedom to arbitrarily partition partial orderings according to dimensions, we can modify 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 to characterize the fact that not every cycle constitutes a plane. In Figure4(a), imagine 123 is a hole, while 234 is a surface. The representation of this simplicial complex would still be true as shown in Figure4(b). The incidence structure will differ, however, since 123 is no longer classified as a two-dimensional plane, but is instead a 1-simplex.</p><formula xml:id="formula_54">x T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z R y n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K Z V k f R m V p e W V 1 r b p e 2 9 j c 2 t 4 x d / d 6 M k o E J l 0 c s U g M f C Q J o 5 x 0 F V W M D G J B U O g z 0 v e n l 3 m + f 0 u E p B G / U b O Y u C E a c x p Q j J R G n t l I h / M h j h j 7 b m o 1 T 6 0 8 G l b T K s W C Z N J r Z Z 5 Z L + + w r I B f x C 5 I H R T R 8 c z 3 4 S j C S U i 4 w g x J 6 d h W r N w U C U U x I 1 l t m E g S I z x F Y + J o y V F I p J v O F 8 r g k S Y j G E R C H 6 7 g n H 7 v S F E o 5 S z 0 d W W I 1 E T + z u X w r 5 y T q O D C T S m P E 0 U 4 X j w U J A y q C O Y W w R E V B C s 2 0 w J h Q f W u E E + Q Q F h p I 2 v a h P K n 8 H / R O 2 n a V t O + b t X b Z 4 U d V X A A D s E x s M E 5 a I M r 0 A F d g M E d e A B P 4 N m 4 N x 6 N F + N 1 U V o x i p 5 9 8 C O M t 0 + j Q 5 q h &lt; / l a t</formula></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.4.">Summary</head><p>We began this section with questions about which mereology should be used in a multimereology and which criteria should be used to partition it. Starting from the combinatorial structures used to represent manifolds in algebraic topology, we claim that 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 is the right mereology, since it extends the notion of CW complex. Furthermore, the expressiveness of 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 allows us to specify different partitionings, depending on the classes of subgraphs (e.g. paths, cycles, blocks).</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.">Hahmann's Multidimensional Mereotopology</head><p>A further application of multimereology is that it can be used as the basis for evaluating other multidimensional mereotopologies. In particular, we can use multimereology to provide a verification of CODI <ref type="bibr" target="#b8">[9]</ref>. Recall that the major benefit of CODI, compared to Gotts' and Galton's approaches, is its expressive power insofar as it generalizes relations between spatial entities up to finite dimensions within a single model. 𝑇 𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 introduces three primitive relations for specifying a multidimensional mereotopology. The first two relations (&lt; 𝑑𝑖𝑚 (𝑥, 𝑦), 𝐸𝑞𝐷𝑖𝑚(𝑥, 𝑦)) specify the relative dimension of two elements; in particular, &lt; 𝑑𝑖𝑚 (𝑥, 𝑦) is a linear ordering over dimensions. The third relation (𝐶𝑜𝑛𝑡(𝑥, 𝑦)) is a parthood relation that applies to all elements regardless of their dimension such that the dimension of an element has a dimension greater than or equal to its parts.</p><p>To compare our axiomatization in 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 with 𝑇 𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 , we want to find a common ground where the set of minimal and maximal dimensions allowed is the same for both sides. Since 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 can only capture entities up to two-dimensional planes, we must restrict 𝑇 𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 to two dimensions as well: By this Theorem, we know that there is a one-to-one correspondence between models of 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 and models of 𝑇 2𝑑_𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 . Furthermore, because of Theorem 1, we know that all models of 𝑇 2𝑑_𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 can be constructed by partitioning a partial ordering into intervals.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.">Unifying boundary definitions</head><p>We want the weakest possible mereotopology in which the notions of boundary can be represented and unified. In this section, we demonstrate the capabilities of multimereologies in terms of representing different notions of boundary within the same theory.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.1.">Nondimensional Approach to Boundary</head><p>We exploit the dual nature of the models of 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 -on the one hand, models of 𝑇 𝑐𝑖𝑠𝑐𝑜 are nondimensional mereologies, but because the elements of these mereologies correspond to connected subgraphs of a graph, they can also represent properties of graphs. The obvious place to start is to note that within graph theory there is a notion of the boundary of a subgraph <ref type="bibr" target="#b13">[14]</ref>: Definition 11. Let 𝐺 = (𝑉, 𝐸) be a simple graph. The boundary of v ∈ 𝑉 is the set of all vertices of 𝐺 which are adjacent to V:</p><formula xml:id="formula_55">𝐵(v) = {u ∈ 𝑉 : (u, v) ∈ 𝐸}.</formula><p>The edge boundary of H is the set of edges in 𝐺 that contain one vertex in 𝐻 and one vertex not in 𝐻.</p><p>Based on this definition of graph boundary, we can define the corresponding notion for elements within the mereology in a model of 𝑇 𝑐𝑖𝑠𝑐𝑜_𝑚𝑡 : </p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.2.">Multidimensional Approach to Boundary</head><p>Inspired by algebraic topology <ref type="bibr" target="#b14">[15]</ref>, our interpretation of multidimensional notion of boundary exhibits the following two characteristics:</p><p>1. The boundary is codimension 1 to the space that contains it. </p><p>According to this multidimensional characterization of boundary, in the same Figure6(b), element 2 is not in the boundary of 123 because it is incident to more than one incomparable equi-dimensional parts. Contrarily, 1 and 3 are the boundary of 123 because it is incident to exactly one incomparable equi-dimensional part. In the same example in Figure5(a), the set of boundary that was generated based on graph-theory definition is different from that of a multidimensional based one. Note that even though multimereology successfully captures both non-and multi-dimensional approaches to boundary, the exact relationship that holds between these two approaches remains an open question.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="6.">Summary</head><p>This work was motivated by the need to integrate different characterizations of boundary. From the Winograd Schema Challenge to Kandinsky's painting, we saw that boundary is only of a special form to the dimension discrepancy founded by different mathematical theories, and borrowed by various mereotopologies. Instead of favoring one theory over the other, we established a common ground for non-and multi-dimensional approaches.</p><p>We started the discussion of unification by specifying ontological commitments that a multidimensional mereology must satisfy. We introduced the notion of multimereology, an amalgamation of a partial ordering and incidence structure that formalizes these commitments. A key result is that each partitioning of a partial ordering corresponds to a unique multimereology, and each multimereology specifies a partitioning of a partial ordering. This forms the basis of the representation theorem for the class of multimereologies with respect to the set of poset homomorphisms between partial orderings and finite linear orderings. Finally, we axiomatized the class of multimereologies up to isomorphism.</p><p>Coming up with root theories for multimereology left us with the problem of amalgamating an appropriate partial ordering with partitioning criteria. We therefore turned to the field of algebraic topology to find the "right" manifold that can characterize our notion of partitioning a partial ordering. We examined abstract simplicial complexes and regular CW complexes as two possibilities. Due to the sets of construction rules they impose on topological spaces, both CW and simplicial complexes fall short in representing non-trivial mereology within a single dimension. We proceeded to showcase the expressiveness of our multimereology by interpreting and representing other non-and multi-dimensional approaches.</p><p>So far, this work provided a middle ground to compare different notions of boundary. In the future, we plan to explore and extend what multimereology is capable of. This can be achieved in two directions. First, it would be useful to compose an exact theorem that captures the relationship between non-and multi-dimensional boundary. Next, if we could use multimereology to validate Smith's and Hahmann's mereotopologies, we would be one step closer to harmonizing this dimension disagreement.</p></div><figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_0"><head>Figure 1 :</head><label>1</label><figDesc>Figure 1: Wassily Kandinsky[4], Composition 8, 1923.</figDesc><graphic coords="2,153.64,84.19,288.02,199.50" type="bitmap" /></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_1"><head>Figure 2 :</head><label>2</label><figDesc>Figure 2: Examples of multimereologies.</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_2"><head>Figure 4 :</head><label>4</label><figDesc>Figure 4: Simplicial complex associated with a graph.</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_3"><head>Figure 6 :</head><label>6</label><figDesc>Figure 6: CISCO mereology representation and an associated example of partitioning the mereology</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_4"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4 + + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_5"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4 + + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_6"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4 + + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_7"><head>1 &lt; l a t e x i t s h a 1 _ b a s e 6 4 =</head><label>114</label><figDesc>r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B 7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; " h j L q x I 4 W z 2 W M l 7 r B F h I h o m D 9 f 4</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_8"><head>2 &lt; l a t e x i t s h a 1 _ b a s e 6 4 =</head><label>214</label><figDesc>g e I R n e I U 3 4 8 l 4 M d 6 N j 2 n r i j H z H M G f M j 5 / A G + K m n 8 = &lt; / l a t e x i t &gt;g " w G c A W w X 1 f k 4 + + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c A g e R m mH T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I U E Y j U h P U s n I M O E E h R 4 j A 2 9 6 U / i D B 8 I F j a N 7 O U u I E 6 I g o j 7 F S C r J 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_9"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4+ + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_10"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4+ + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_11"><head></head><label></label><figDesc>e a h w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " w G c A W w X 1 f k 4+ + I F b n m 0 o S K i U U 5 0 = " &gt; A A A C F X i c b V B N S 8 M w G E7 9 n P O r 6 t F L c A g e R m m H T I 8 D L x 4 n u A / o S k m z t A t L P 0 h S Y Z T + C S / + F S 8 e F P E q e P P f m H Y d 6 O Y D I U + e 5 3 2 T N 4 + X M C q k a X 5 r a + s b m 1 v b t Z 3 6 7 t 7 + w a F + d N w X c c o x 6 e G Y x X z o I</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_12"><head>g 4 &lt;</head><label>4</label><figDesc>l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; AA A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_13"><head></head><label></label><figDesc>r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B 7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_14"><head></head><label></label><figDesc>1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9 N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_15"><head></head><label></label><figDesc>1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " 7 0 j r s L j z F 4 G i 9 N Q I c Y K 1 C M z P M C 8 = " &gt; A A A C F X i c b V B N S 8 M w G E 7 9 n P O r 6 t F L c Q g e x m i G T r 0 N v H i c 4 D 6 g K y X N 0 i 0 s T U u S C q P 0 T 3 j x r 3 j x o I h X w Z v / x q y r M D c f C D x 5 n v d 9 8 + b x Y 0 a l s u 1</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_16"><head>4 &lt; 3 &lt;</head><label>43</label><figDesc>1 9 e J p 1 6 D d o 1 e H d e a T a K O E r g G J y A M w D B J W i C W 9 A C b Y D B I 3 g G r + D N e D J e j H f j Y 1 a 6 Y h Q 9 R + A P j M 8 f y A e a t w = = &lt; / l a t e x i t &gt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B7 A E 3 g B r 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; A A A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B 7 A E 3 g Br 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " u 5 0 d 8 A D w y / d R F q 9 0 V y B p + w u A / p 4 = " &gt; AA A C F X i c b V D N S 8 M w H E 3 9 n P O r 6 t F L c A g e x m h l q M e B F 4 8 T 3 A d 0 p a R Z 2 o W l a U l S Y Z T + E 1 7 8 V 7 x 4 U M S r 4 M 3 / x q z r R D c f B B 7 v v V / y y / M T R q W y r C 9 j Z X V t f W O z s l X d 3 t n d 2 z c P D r s y T g U m H R y z W P R 9 J A m j n H Q U V Y z 0 E 0 F Q 5 D P S 8 8 f X U 7 9 3 T 4 S k M b 9 T k 4 S 4 E Q o 5 D S h G S k u e W c 8 G x S W O C H 0 3 s x p W g f o P s U u S h 1 4 z 9 8 z a 3 I D L Z B 6 t g R J t z / w c D G O c R o Q r z J C U j m 0 l y s 2 Q U B Q z k l c H q S Q J w m M U E k d T j i I i 3 a x Y K I e n W h n C I B b 6 c A U L 9 f d E h i I p J 5 G v k x F S I 7 n o T c X / P C d V w Z W b U Z 6 k i n A 8 e y h I G V Q x n F Y E h 1 Q Q r N h E E 4 Q F 1 b t C P E I C Y a W L r O o S 7 M U v L 5 P u e c O 2 G v Z t s 9 a 6 K O u o g G N w A s 6 A D S 5 B C 9 y A N u g A D B 7 A E 3 g Br 8 a j 8 W y 8 G e + z 6 I p R z h y B P z A + v g F 0 B 5 q C &lt; / l a t e x i t &gt; s l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D z H y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s l I L + Y E B R 4 j X W 9 8 l f v d O 8 I F j c J b O Y m J E 6 B h S H 2 K k V S S q 9 f T f n G J z Y e e k 5 r G m W l d N q y 6 a Z g F 5 i Q T 7 k n m 6 r U 8 k Q</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_17"><head></head><label></label><figDesc>y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y xV k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 c m Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; &lt; l a t e x i t s h a 1 _ b a s e 6 4 = " O 4 a 2 R t Y c H 0 J q F k 0 0 Y P 5 T / Y r H V 9 E = " &gt; A A A C F X i c d V B L S 8 N A G N z 4 r P U V 9 e h l s Q g e S k h 8 V L 0 V v H i s Y B + Q h r D Z b t q l m w e 7 G 6 G E / A k v / h U v H h T x K n j z 3 7 h J 0 6 K i A w v D zH y 7 3 4 4 X M y q k a X 5 q C 4 t L y y u r l b X q + s b m 1 r a + s 9 s R U c I x a e O I R b z n I U E Y D U l b U s</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_18"><head>4 &lt;</head><label>4</label><figDesc>y E w Z l B P O K 4 I B y g i W b K I I w p 2 p X i E e I I y xV k V V V w u y n 8 H / S O T Y s 0 7 B u T m v N R l l H B e y D A 3 A E L H A O m u A a t E A b Y H A P H s E z e N E e t C f t V X u b R h e 0 cm Y P / I D 2 / g W 1 X p q s &lt; / l a t e x i t &gt; l a t e x i t s h a 1 _ b a s e 6 4 = " y n yx T 3 v 1 f f e f U H 0 V m 2 c b 0 8 O 4 H x s = " &gt; A A A C F X i c d Z B N S 8 M w G M f T + T b n W 9 W j l + A Q P I z Ry n w 5 D r x 4 n O B e o C s l z d I t L E 1 L k g q j 9 E t 4 8 a t 4 8 a C I V 8 G b 3 8 Z 0 a 0 V F H w j 8 8 3 t e 8 u T v x 4 x K</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_19"><head>Definition 10 .Theorem 4 .</head><label>104</label><figDesc>𝑇 2𝑑_𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 is the following set of axioms:∀𝑥, 𝑦 (𝐶𝑜𝑛𝑡(𝑥, 𝑦) ⊃ (&lt; 𝑑𝑖𝑚 (𝑥, 𝑦) ∨ 𝐸𝑞𝐷𝑖𝑚(𝑥, 𝑦))) (16) ∃𝑥 (𝑀 𝑖𝑛𝐷𝑖𝑚(𝑥)) (17) ∀𝑥 (¬ &lt; 𝑑𝑖𝑚 𝑥, 𝑥)(18)∀𝑥, 𝑦 (&lt; 𝑑𝑖𝑚 𝑥, 𝑦) ⊃ (¬ &lt; 𝑑𝑖𝑚 (𝑦, 𝑥)) (19) ∀𝑥, 𝑦, 𝑧 (&lt; 𝑑𝑖𝑚 (𝑥, 𝑦) ∧ (&lt; 𝑑𝑖𝑚 (𝑦, 𝑧) ∨ 𝐸𝑞𝐷𝑖𝑚(𝑦, 𝑧)) ⊃ (&lt; 𝑑𝑖𝑚 (𝑥, 𝑧)))(20)∀𝑥, 𝑦 ((𝐶𝑜𝑛𝑡(𝑥, 𝑦) ∧ 𝐶𝑜𝑛𝑡(𝑦, 𝑥)) ⊃ (𝑥 = 𝑦)) (21) ∀𝑥, 𝑦, 𝑧 ((𝐶𝑜𝑛𝑡(𝑥, 𝑦) ∧ 𝐶𝑜𝑛𝑡(𝑦, 𝑧)) ⊃ (𝐶𝑜𝑛𝑡(𝑥, 𝑧))) (22) ∀𝑥 (𝑀 𝑖𝑛𝐷𝑖𝑚(𝑥) ∨ 𝐶𝑢𝑟𝑣𝑒(𝑥) ∨ 𝐴𝑟𝑒𝑎𝑙𝑅𝑒𝑔𝑖𝑜𝑛(𝑥)) (23) 𝑇 2𝑑_𝑐𝑜𝑑𝑖_𝑑𝑜𝑤𝑛 is logically synonymous with 𝑇 𝑚𝑢𝑙𝑡𝑖𝑚𝑒𝑟𝑒𝑜 .</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_20"><head>Definition 12 .</head><label>12</label><figDesc>∀𝑥 (𝑒𝑑𝑔𝑒(𝑥) ≡ ∃𝑦, 𝑧 (𝑎𝑡𝑜𝑚(𝑦) ∧ 𝑎𝑡𝑜𝑚(𝑦) ∧ 𝑠𝑢𝑚(𝑦, 𝑧) ∧ ¬(𝑦 = 𝑧))) (24) ∀𝑥, 𝑦 (𝑔𝑟𝑎𝑝ℎ_𝑏𝑜𝑢𝑛𝑑𝑎𝑟𝑦(𝑥, 𝑦) ≡ 𝑒𝑑𝑔𝑒(𝑥) ∧ 𝑃 𝑂(𝑥, 𝑦)) (25) The boundary of the cycle 1234 in Figure 6 is {45}, while the boundary of the edge 12 in the same Figure is {23, 14}.</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" xml:id="fig_21"><head>2 .</head><label>2</label><figDesc>𝑥 is said to be the boundary of 𝑦 iff 𝑥 is a pendant element7 of y. which can be axiomatized as Definition 13. ∀𝑥, 𝑦 (𝑏𝑜𝑢𝑛𝑑𝑎𝑟𝑦(𝑥, 𝑦) ≡ 𝑖𝑛(𝑥, 𝑦) ∧ 𝑚_𝑐𝑜𝑣𝑒𝑟𝑠(𝑦, 𝑥) ∧ 𝑝𝑒𝑛𝑑𝑎𝑛𝑡(𝑥, 𝑦)) (26) ∀𝑥, 𝑦 (𝑝𝑒𝑛𝑑𝑎𝑛𝑡(𝑥, 𝑦) ≡ ∃𝑧, 𝑢 (𝐶(𝑥, 𝑧) ∧ 𝐶(𝑥, 𝑢) ∧ 𝑖𝑛(𝑢, 𝑦) ∧ 𝑖𝑛(𝑧, 𝑦) ∧ ¬(𝑧 = 𝑢))) (27) ∀𝑥, 𝑦 (𝑚_𝑐𝑜𝑣𝑒𝑟𝑠(𝑥, 𝑦) ≡ (𝑝𝑎𝑟𝑡(𝑦, 𝑥) ∧ 𝑥 ̸ = 𝑦 ∧ ¬∃𝑧 (𝑝𝑎𝑟𝑡(𝑦, 𝑧) ∧ 𝑝𝑎𝑟𝑡(𝑧, 𝑥) ∧ 𝑖𝑛(𝑧, 𝑦)) ∧ 𝑦 ̸ = 𝑧 ∧ 𝑥 ̸ = 𝑧))</figDesc></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" type="table" xml:id="tab_0"><head></head><label></label><figDesc>𝑋 𝑛 from 𝑋 𝑛−1 by attaching n-cells 𝑒 𝛼 𝑛 via maps 𝜙 𝛼 : 𝑆 𝑛−1 → 𝑋 𝑛−1 . This means that 𝑋 𝑛 is the quotient space of 𝑋 𝑛−1 ⨆︀ ⋃︀ 𝑛 𝑋 𝑛 with the weak topology: A set 𝐴 ⊂ 𝑋 is open (or closed) iff 𝐴 ∩ 𝑋 𝑛 is open (or closed) in 𝑋 𝑛 for each 𝑛.</figDesc><table><row><cell>𝛼 𝐷 𝑛 𝛼 under the 𝛼 is the homeomorphic image of 𝐷 𝑛 𝛼 . The cell 𝑒 𝑛 identifications 𝑥 ∼ 𝜙 𝛼 (𝑥) for 𝑥 ∈ 𝛿𝐷 𝑛 𝛼 −𝛿𝐷 𝑛 𝛼 .</cell></row><row><cell>3. 𝑋 =</cell></row></table></figure>
<figure xmlns="http://www.tei-c.org/ns/1.0" type="table" xml:id="tab_1"><head></head><label></label><figDesc>e x i t &gt; The breakdown of ethyl acetate. g1, g2, g3, g4 embody the primitive functional groups. s1, s2, s3, s4 embody the skeletons. The bolded black lines represent connectivity among functional groups. The dotted blue lines represent parthood relations. The dash-dotted green lines represent incident relations.</figDesc><table><row><cell></cell><cell cols="2">Corresponding Skeletal Diagrams</cell></row><row><cell>Legend connectedness</cell><cell>incidence</cell><cell>mereology</cell></row><row><cell>Figure 7:</cell><cell></cell><cell></cell></row></table></figure>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="2" xml:id="foot_0">Mod(.) denotes the class of models of the given ontology.</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="3" xml:id="foot_1">M denotes a class of mathematical structures.</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="5" xml:id="foot_2">https://github.com/gruninger/colore/blob/master/ontologies/mereology/cem_mereology.clif</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="6" xml:id="foot_3">https://github.com/gruninger/colore/blob/master/ontologies/tripartite_incidence/simplicial_2complex.clif</note>
			<note xmlns="http://www.tei-c.org/ns/1.0" place="foot" n="7" xml:id="foot_4">In graph theory, a pendant element is connected to exactly one neighboring element.</note>
		</body>
		<back>
			<div type="references">

				<listBibl>

<biblStruct xml:id="b0">
	<analytic>
		<title level="a" type="main">On our best behaviour</title>
		<author>
			<persName><forename type="first">H</forename><forename type="middle">J</forename><surname>Levesque</surname></persName>
		</author>
		<idno type="DOI">10.1016/j.artint.2014.03.007</idno>
		<ptr target="https://doi.org/10.1016/j.artint.2014.03.007" />
	</analytic>
	<monogr>
		<title level="j">Artificial Intelligence</title>
		<imprint>
			<biblScope unit="volume">212</biblScope>
			<biblScope unit="page" from="27" to="35" />
			<date type="published" when="2014">2014</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b1">
	<monogr>
		<title level="m" type="main">Collection of winograd schemas</title>
		<author>
			<persName><forename type="first">E</forename><surname>Davis</surname></persName>
		</author>
		<ptr target="https://cs.nyu.edu/~davise/papers/WinogradSchemas/WSCollection.html" />
		<imprint>
			<date type="published" when="2011">2011</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b2">
	<monogr>
		<title level="m" type="main">Parts and Places: The Structures of Spatial Representation</title>
		<author>
			<persName><forename type="first">R</forename><surname>Casati</surname></persName>
		</author>
		<author>
			<persName><forename type="first">A</forename><forename type="middle">C</forename><surname>Varzi</surname></persName>
		</author>
		<imprint>
			<date type="published" when="1999">1999</date>
			<publisher>MIT Press</publisher>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b3">
	<monogr>
		<author>
			<persName><forename type="first">W</forename><surname>Kandinsky</surname></persName>
		</author>
		<ptr target="_New_York.jpg" />
		<title level="m">File:vassily kandinsky, 1923 -composition 8, huile sur toile, 140</title>
				<meeting><address><addrLine>new york</addrLine></address></meeting>
		<imprint>
			<date type="published" when="2014">2014. _140_cm_x_201_cm. _Mus C3A9e_Guggenheim,</date>
		</imprint>
		<respStmt>
			<orgName>musée guggenheim</orgName>
		</respStmt>
	</monogr>
	<note>cm x 201 cm</note>
</biblStruct>

<biblStruct xml:id="b4">
	<monogr>
		<ptr target="https://www.merriam-webster.com/dictionary/through" />
		<title level="m">Dictionary, Through definition &amp; meaning</title>
				<imprint>
			<date type="published" when="2023">2023</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b5">
	<analytic>
		<title level="a" type="main">Mereotopology: A theory of parts and boundaries</title>
		<author>
			<persName><forename type="first">B</forename><surname>Smith</surname></persName>
		</author>
		<idno type="DOI">10.1016/S0169-023X(96)00015-8</idno>
		<ptr target="https://doi.org/10.1016/S0169-023X(96)00015-8,modelingPartsandWholes" />
	</analytic>
	<monogr>
		<title level="j">Data &amp; Knowledge Engineering</title>
		<imprint>
			<biblScope unit="volume">20</biblScope>
			<biblScope unit="page" from="287" to="303" />
			<date type="published" when="1996">1996</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b6">
	<monogr>
		<title level="m" type="main">Formalizing commonsense topology : The inch calculus</title>
		<author>
			<persName><forename type="first">N</forename><forename type="middle">M</forename><surname>Gottsdivision</surname></persName>
		</author>
		<imprint>
			<date type="published" when="1996">1996</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b7">
	<analytic>
		<title level="a" type="main">Taking dimension seriously in qualitative spatial reasoning</title>
		<author>
			<persName><forename type="first">A</forename><surname>Galton</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">12th European Conference on Artificial Intelligence</title>
				<editor>
			<persName><forename type="first">W</forename><surname>Wahlster</surname></persName>
		</editor>
		<meeting><address><addrLine>Budapest, Hungary; Chichester</addrLine></address></meeting>
		<imprint>
			<publisher>Proceedings, John Wiley and Sons</publisher>
			<date type="published" when="1996">August 11-16, 1996. 1996</date>
			<biblScope unit="page" from="501" to="505" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b8">
	<monogr>
		<title level="m" type="main">Region-Based Theories of Space: Mereotopology and Beyond</title>
		<author>
			<persName><forename type="first">T</forename><surname>Hahmann</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Grüninger</surname></persName>
		</author>
		<idno type="DOI">10.4018/978-1-61692-868-1.ch001</idno>
		<imprint>
			<date type="published" when="2012">2012</date>
			<biblScope unit="page" from="1" to="62" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b9">
	<analytic>
		<title level="a" type="main">Reducible theories and amalgamations of models</title>
		<author>
			<persName><forename type="first">B</forename><surname>Aameri</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Grüninger</surname></persName>
		</author>
		<idno type="DOI">10.1145/3565364</idno>
	</analytic>
	<monogr>
		<title level="j">ACM Transactions on Computational Logic</title>
		<imprint>
			<biblScope unit="volume">24</biblScope>
			<biblScope unit="page" from="1" to="24" />
			<date type="published" when="2023">2023</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b10">
	<monogr>
		<author>
			<persName><forename type="first">A</forename><surname>Hatcher</surname></persName>
		</author>
		<ptr target="https://books.google.ca/books?id=BjKs86kosqgC" />
		<title level="m">Algebraic Topology, Algebraic Topology</title>
				<imprint>
			<publisher>Cambridge University Press</publisher>
			<date type="published" when="2002">2002</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b11">
	<analytic>
		<title level="a" type="main">A Mereology for Connected Structures</title>
		<author>
			<persName><forename type="first">M</forename><surname>Grüninger</surname></persName>
		</author>
		<author>
			<persName><forename type="first">C</forename><surname>Chui</surname></persName>
		</author>
		<author>
			<persName><forename type="first">Y</forename><surname>Ru</surname></persName>
		</author>
		<author>
			<persName><forename type="first">J</forename><surname>Thai</surname></persName>
		</author>
		<idno type="DOI">10.3233/faia200670</idno>
	</analytic>
	<monogr>
		<title level="j">Frontiers in Artificial Intelligence and Applications</title>
		<imprint>
			<date type="published" when="2020">2020</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b12">
	<analytic>
		<title level="a" type="main">A molecular structure ontology for medicinal chemistry</title>
		<author>
			<persName><forename type="first">C</forename><surname>Chui</surname></persName>
		</author>
		<author>
			<persName><forename type="first">M</forename><surname>Grüninger</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="m">Formal Ontology in Information Systems -Proceedings of the 9th International Conference, FOIS 2016</title>
				<editor>
			<persName><forename type="first">R</forename><surname>Ferrario</surname></persName>
		</editor>
		<editor>
			<persName><forename type="first">W</forename><surname>Kuhn</surname></persName>
		</editor>
		<meeting><address><addrLine>Annecy, France</addrLine></address></meeting>
		<imprint>
			<publisher>IOS Press</publisher>
			<date type="published" when="2016">July 6-9, 2016. 2016</date>
			<biblScope unit="page" from="285" to="298" />
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b13">
	<analytic>
		<title level="a" type="main">Boundary-connectivity via graph theory</title>
		<author>
			<persName><forename type="first">A</forename><surname>Timar</surname></persName>
		</author>
	</analytic>
	<monogr>
		<title level="j">Proceedings of the American Mathematical Society</title>
		<imprint>
			<biblScope unit="volume">141</biblScope>
			<biblScope unit="page" from="475" to="480" />
			<date type="published" when="2012">2012</date>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b14">
	<monogr>
		<author>
			<persName><forename type="first">J</forename><forename type="middle">M</forename><surname>Lee</surname></persName>
		</author>
		<idno type="DOI">10.1007/978-1-4419-7940-7_13</idno>
		<title level="m">Homology, Graduate Texts in Mathematics</title>
				<imprint>
			<date type="published" when="2011">2011</date>
			<biblScope unit="page" from="339" to="380" />
		</imprint>
	</monogr>
</biblStruct>

				</listBibl>
			</div>
		</back>
	</text>
</TEI>
