<?xml version='1.0' ?>

<DGraph filename="/home/julian/workspace/ontohub/test/fixtures/ontologies/clif/cat.clif" libname="cat" nextlinkid="0">

<DGNode name="cat" logic="CommonLogic" refname="cat" relxpath="/">

<Declarations>

<Symbol kind="Name" name="Attr" range="test/fixtures/ontologies/clif/cat.clif:7.39">Attr</Symbol>

<Symbol kind="Name" name="Cat" range="test/fixtures/ontologies/clif/cat.clif:4.8">Cat</Symbol>

<Symbol kind="Name" name="Happy" range="test/fixtures/ontologies/clif/cat.clif:7.29">Happy</Symbol>

<Symbol kind="Name" name="Mat" range="test/fixtures/ontologies/clif/cat.clif:4.16">Mat</Symbol>

<Symbol kind="Name" name="On" range="test/fixtures/ontologies/clif/cat.clif:5.9">On</Symbol>

<Symbol kind="Name" name="P" range="test/fixtures/ontologies/clif/cat.clif:2.4">P</Symbol>

<Symbol kind="Name" name="Pet" range="test/fixtures/ontologies/clif/cat.clif:7.21">Pet</Symbol>

<Symbol kind="Name" name="Q" range="test/fixtures/ontologies/clif/cat.clif:3.15">Q</Symbol>

<Symbol kind="Name" name="x" range="test/fixtures/ontologies/clif/cat.clif:2.6">x</Symbol>

<Symbol kind="Name" name="y" range="test/fixtures/ontologies/clif/cat.clif:3.17">y</Symbol>

</Declarations>

<Axioms>

<Axiom name="Cat" range="1.1-1.2">

<Text>. (cl-text Cat (P x) (and (P x) (Q y)) (or (Cat x) (Mat y))

(not (On x y)) (if (P x) (Q x))

(exists (z) (and (Pet x) (Happy z) (Attr x z))))

%(Cat)%</Text>

<Symbol kind="Name" name="Attr" range="test/fixtures/ontologies/clif/cat.clif:7.39">Attr</Symbol>

<Symbol kind="Name" name="Cat" range="test/fixtures/ontologies/clif/cat.clif:4.8">Cat</Symbol>

<Symbol kind="Name" name="Happy" range="test/fixtures/ontologies/clif/cat.clif:7.29">Happy</Symbol>

<Symbol kind="Name" name="Mat" range="test/fixtures/ontologies/clif/cat.clif:4.16">Mat</Symbol>

<Symbol kind="Name" name="On" range="test/fixtures/ontologies/clif/cat.clif:5.9">On</Symbol>

<Symbol kind="Name" name="P" range="test/fixtures/ontologies/clif/cat.clif:2.4">P</Symbol>

<Symbol kind="Name" name="Pet" range="test/fixtures/ontologies/clif/cat.clif:7.21">Pet</Symbol>

<Symbol kind="Name" name="Q" range="test/fixtures/ontologies/clif/cat.clif:3.15">Q</Symbol>

<Symbol kind="Name" name="x" range="test/fixtures/ontologies/clif/cat.clif:2.6">x</Symbol>

<Symbol kind="Name" name="y" range="test/fixtures/ontologies/clif/cat.clif:3.17">y</Symbol>

</Axiom>

</Axioms>

</DGNode>

</DGraph>