<?xml version="1.0" encoding="UTF-8"?>
<graphml xmlns="http://graphml.graphdrawing.org/xmlns/graphml"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"  
xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns/graphml">
<key id="nContingent" for="graph">
<desc>Number of contingents in the graph</desc>
<default>0</default>
</key>
<key id="nObservedProposition" for="graph">
<desc>Number of observed propositions in the graph</desc>
<default>0</default>
</key>
<key id="NetworkType" for="graph">
<desc>Network Type</desc>
<default>CSTNU</default>
</key>
<key id="nEdges" for="graph">
<desc>Number of edges in the graph</desc>
<default>0</default>
</key>
<key id="nVertices" for="graph">
<desc>Number of vertices in the graph</desc>
<default>0</default>
</key>
<key id="Name" for="graph">
<desc>Graph Name</desc>
<default></default>
</key>
<key id="Obs" for="node">
<desc>Proposition Observed. Value specification: [a-zA-F]</desc>
<default></default>
</key>
<key id="x" for="node">
<desc>The x coordinate for the visualization. A positive value.</desc>
<default>0</default>
</key>
<key id="Label" for="node">
<desc>Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡</desc>
<default>⊡</default>
</key>
<key id="y" for="node">
<desc>The y coordinate for the visualization. A positive value.</desc>
<default>0</default>
</key>
<key id="Potential" for="node">
<desc>Labeled Potential Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{}</desc>
<default></default>
</key>
<key id="Type" for="edge">
<desc>Type: Possible values: contingent|requirement|derived|internal.</desc>
<default>requirement</default>
</key>
<key id="LowerCaseLabeledValues" for="edge">
<desc>Labeled Lower-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{}</desc>
<default></default>
</key>
<key id="UpperCaseLabeledValues" for="edge">
<desc>Labeled Upper-Case Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{}</desc>
<default></default>
</key>
<key id="LabeledValues" for="edge">
<desc>Labeled Values. Format: {[('integer', 'label') ]+}|{}</desc>
<default></default>
</key>
<graph edgedefault="directed">
<data key="nContingent">3</data>
<data key="nObservedProposition">2</data>
<data key="NetworkType">CSTNU</data>
<data key="nEdges">39</data>
<data key="nVertices">9</data>
<node id="C">
<data key="x">678.0</data>
<data key="Label">pq</data>
<data key="y">179.0</data>
</node>
<node id="P?">
<data key="Obs">p</data>
<data key="x">297.0</data>
<data key="Label">⊡</data>
<data key="y">14.0</data>
</node>
<node id="F">
<data key="x">281.0</data>
<data key="Label">p¬q</data>
<data key="y">367.0</data>
</node>
<node id="Z">
<data key="x">140.0</data>
<data key="Label">⊡</data>
<data key="y">26.0</data>
</node>
<node id="H">
<data key="x">137.0</data>
<data key="Label">¬p</data>
<data key="y">468.0</data>
</node>
<node id="E">
<data key="x">472.0</data>
<data key="Label">p¬q</data>
<data key="y">262.0</data>
</node>
<node id="G">
<data key="x">137.0</data>
<data key="Label">¬p</data>
<data key="y">191.0</data>
</node>
<node id="Q?">
<data key="Obs">q</data>
<data key="x">489.0</data>
<data key="Label">p</data>
<data key="y">20.0</data>
</node>
<node id="D">
<data key="x">686.0</data>
<data key="Label">pq</data>
<data key="y">361.0</data>
</node>
<edge id="e13" source="F" target="E">
<data key="Type">contingent</data>
<data key="UpperCaseLabeledValues">{(F, -10, p¬q) }</data>
<data key="LabeledValues">{(-8, p¬q) }</data>
</edge>
<edge id="Z_E" source="Z" target="E">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, p¬q) }</data>
</edge>
<edge id="e8" source="Q?" target="E">
<data key="Type">requirement</data>
<data key="LabeledValues">{(5, p¬q) }</data>
</edge>
<edge id="G_Z" source="G" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, ¬p) }</data>
</edge>
<edge id="e0" source="P?" target="G">
<data key="Type">requirement</data>
<data key="LabeledValues">{(10, ¬p) }</data>
</edge>
<edge id="Z_Q?" source="Z" target="Q?">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, p) }</data>
</edge>
<edge id="e3" source="H" target="G">
<data key="Type">contingent</data>
<data key="UpperCaseLabeledValues">{(H, -30, ¬p) }</data>
<data key="LabeledValues">{(-10, ¬p) }</data>
</edge>
<edge id="F_Z" source="F" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, p¬q) }</data>
</edge>
<edge id="P?_Z" source="P?" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, ⊡) }</data>
</edge>
<edge id="e10" source="Q?" target="C">
<data key="Type">requirement</data>
<data key="LabeledValues">{(10, pq) }</data>
</edge>
<edge id="H_P?" source="H" target="P?">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, ¬p) }</data>
</edge>
<edge id="e12" source="E" target="F">
<data key="Type">contingent</data>
<data key="LowerCaseLabeledValues">{(F, 8, p¬q) }</data>
<data key="LabeledValues">{(10, p¬q) }</data>
</edge>
<edge id="Q?_Z" source="Q?" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, p) }</data>
</edge>
<edge id="e81" source="D" target="P?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(-10, pq) }</data>
</edge>
<edge id="e80" source="P?" target="D">
<data key="Type">requirement</data>
<data key="LabeledValues">{(25, pq) }</data>
</edge>
<edge id="H_Z" source="H" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, ¬p) }</data>
</edge>
<edge id="e14" source="C" target="D">
<data key="Type">contingent</data>
<data key="LowerCaseLabeledValues">{(D, 10, pq) }</data>
<data key="LabeledValues">{(20, pq) }</data>
</edge>
<edge id="e15" source="D" target="C">
<data key="Type">contingent</data>
<data key="UpperCaseLabeledValues">{(D, -20, pq) }</data>
<data key="LabeledValues">{(-10, pq) }</data>
</edge>
<edge id="E_P?" source="E" target="P?">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, p¬q) }</data>
</edge>
<edge id="e11" source="C" target="Q?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(0, pq) }</data>
</edge>
<edge id="Z_G" source="Z" target="G">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, ¬p) }</data>
</edge>
<edge id="D_Q?" source="D" target="Q?">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, pq) }</data>
</edge>
<edge id="F_Q?" source="F" target="Q?">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, p¬q) }</data>
</edge>
<edge id="e6" source="P?" target="Q?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(1, p) }</data>
</edge>
<edge id="C_P?" source="C" target="P?">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, pq) }</data>
</edge>
<edge id="e2" source="G" target="H">
<data key="Type">contingent</data>
<data key="LowerCaseLabeledValues">{(H, 10, ¬p) }</data>
<data key="LabeledValues">{(30, ¬p) }</data>
</edge>
<edge id="e1" source="G" target="P?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(0, ¬p) }</data>
</edge>
<edge id="Z_F" source="Z" target="F">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, p¬q) }</data>
</edge>
<edge id="D_Z" source="D" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, pq) }</data>
</edge>
<edge id="E_Z" source="E" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, p¬q) }</data>
</edge>
<edge id="e7" source="Q?" target="P?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(0, p) }</data>
</edge>
<edge id="Z_H" source="Z" target="H">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, ¬p) }</data>
</edge>
<edge id="e79" source="F" target="P?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(-7, p¬q) }</data>
</edge>
<edge id="e9" source="E" target="Q?">
<data key="Type">requirement</data>
<data key="LabeledValues">{(0, p¬q) }</data>
</edge>
<edge id="C_Z" source="C" target="Z">
<data key="Type">internal</data>
<data key="LabeledValues">{(0, pq) }</data>
</edge>
<edge id="e78" source="P?" target="F">
<data key="Type">requirement</data>
<data key="LabeledValues">{(14, p¬q) }</data>
</edge>
<edge id="Z_P?" source="Z" target="P?">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, ⊡) }</data>
</edge>
<edge id="Z_D" source="Z" target="D">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, pq) }</data>
</edge>
<edge id="Z_C" source="Z" target="C">
<data key="Type">internal</data>
<data key="LabeledValues">{(240, pq) }</data>
</edge>
</graph>
</graphml>