graph "ontology" {

   graph [pack=true, overlap=scale, fontsize=18, fontname = "Arial", splines=true, epsilon=.0001]
   node [color="green", style="filled" ];
   
   Literal [label="Literal", shape=box, color="orange"];
   nonNegativeInteger [label="nonNegativeInteger", shape=box, color="orange"];
   nonNegativeInteger [label="nonNegativeInteger", shape=box, color="orange"];
   nonNegativeInteger [label="nonNegativeInteger", shape=box, color="orange"];
   
   owl8ontology [label="owl:Ontology", color="yellow"]

   checkedd0e8 [label="checked\n", style=invs, shape=rect, color=white];
   owl8ontology -- checkedd0e8 [len=.5];
    checkedd0e8 -- owl8Ontology [dir=forward, arrowhead="empty"];
   owl8ontology [label="owl:Ontology", color="yellow"]

   symptomd0e14 [label="symptom\n", style=invs, shape=rect, color=white];
   owl8ontology -- symptomd0e14 [len=.5];
    symptomd0e14 -- Symptom [dir=forward, arrowhead="empty"];
   owl8ontology [label="owl:Ontology", color="yellow"]

   foundd0e20 [label="found\n", style=invs, shape=rect, color=white];
   owl8ontology -- foundd0e20 [len=.5];
    foundd0e20 -- xsd8boolean [dir=forward, arrowhead="empty"];
   owl8ontology [label="owl:Ontology", color="yellow"]

   
   anon_d0e26 [style=invs];
   owl8oneOfd0e34_rdf:ID [label="owl8oneOf\n", style=invs, shape=rect, color=white];
   
   anon_d0e26 -- owl8oneOfd0e34_rdf:ID [len=.5];
    owl8oneOfd0e34_rdf:ID -- consistent [dir=forward, arrowhead="empty"];
   owl8oneOfd0e35_rdf:ID [label="owl8oneOf\n", style=invs, shape=rect, color=white];
   
   anon_d0e26 -- owl8oneOfd0e35_rdf:ID [len=.5];
    owl8oneOfd0e35_rdf:ID -- inconsistent [dir=forward, arrowhead="empty"];
   owl8oneOfd0e36_rdf:ID [label="owl8oneOf\n", style=invs, shape=rect, color=white];
   
   anon_d0e26 -- owl8oneOfd0e36_rdf:ID [len=.5];
    owl8oneOfd0e36_rdf:ID -- unknown [dir=forward, arrowhead="empty"];
   consistencyd0e26 [label="consistency\n", style=invs, shape=rect, color=white];
   owl8ontology -- consistencyd0e26 [len=.5];
    consistencyd0e26 -- 
   anon_d0e26 [dir=forward, arrowhead="empty"];
   owl8ontology [label="owl:Ontology", color="yellow"]

   
   anon_d0e37 [style=invs];
   owl8oneOfd0e45_rdf:ID [label="owl8oneOf\n", style=invs, shape=rect, color=white];
   
   anon_d0e37 -- owl8oneOfd0e45_rdf:ID [len=.5];
    owl8oneOfd0e45_rdf:ID -- resourceLimitExceeded [dir=forward, arrowhead="empty"];
   owl8oneOfd0e46_rdf:ID [label="owl8oneOf\n", style=invs, shape=rect, color=white];
   
   anon_d0e37 -- owl8oneOfd0e46_rdf:ID [len=.5];
    owl8oneOfd0e46_rdf:ID -- internalError [dir=forward, arrowhead="empty"];
   processingErrord0e37 [label="processingError\n", style=invs, shape=rect, color=white];
   owl8ontology -- processingErrord0e37 [len=.5];
    processingErrord0e37 -- 
   anon_d0e37 [dir=forward, arrowhead="empty"];
   owl8ontology [label="owl:Ontology", color="yellow"]

   generatedByd0e47 [label="generatedBy\n", style=invs, shape=rect, color=white];
   owl8ontology -- generatedByd0e47 [len=.5];
    generatedByd0e47 -- owl8Ontology [dir=forward, arrowhead="empty"];
   Thing [label="owl:Thing", color="yellow"]
   referenced0e54 [label="reference\n", style=invs, shape=rect, color=white];
   Axiom -- referenced0e54 [len=.5];
    referenced0e54 -- Thing [dir=forward, arrowhead="empty"];
   axiomViolatedd0e62 [label="axiomViolated\n", style=invs, shape=rect, color=white];
   Symptom -- axiomViolatedd0e62 [len=.5];
    axiomViolatedd0e62 -- Axiom [dir=forward, arrowhead="empty"];
   Literal [label="rdfs:Literal", color="yellow"]
   descriptiond0e69 [label="description\n (max:1)", style=invs, shape=rect, color=white];
   Symptom -- descriptiond0e69 [len=.5];
    descriptiond0e69 -- Literal [dir=forward, arrowhead="empty"];
   severityd0e77 [label="severity\n (max:1)", style=invs, shape=rect, color=white];
   Symptom -- severityd0e77 [len=.5];
    severityd0e77 -- Severity [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   assertedd0e86 [label="asserted\n", style=invs, shape=rect, color=white];
   Symptom -- assertedd0e86 [len=.5];
    assertedd0e86 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   conflictd0e93 [label="conflict\n", style=invs, shape=rect, color=white];
   Symptom -- conflictd0e93 [len=.5];
    conflictd0e93 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   constraintd0e100 [label="constraint\n", style=invs, shape=rect, color=white];
   Symptom -- constraintd0e100 [len=.5];
    constraintd0e100 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   instanced0e107 [label="instance\n", style=invs, shape=rect, color=white];
   Symptom -- instanced0e107 [len=.5];
    instanced0e107 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   itemd0e114 [label="item\n", style=invs, shape=rect, color=white];
   Symptom -- itemd0e114 [len=.5];
    itemd0e114 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   propertyd0e121 [label="property\n", style=invs, shape=rect, color=white];
   Symptom -- propertyd0e121 [len=.5];
    propertyd0e121 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   restrictiond0e128 [label="restriction\n", style=invs, shape=rect, color=white];
   Symptom -- restrictiond0e128 [len=.5];
    restrictiond0e128 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   unassertedd0e135 [label="unasserted\n", style=invs, shape=rect, color=white];
   Symptom -- unassertedd0e135 [len=.5];
    unassertedd0e135 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   undeclaredd0e142 [label="undeclared\n", style=invs, shape=rect, color=white];
   Symptom -- undeclaredd0e142 [len=.5];
    undeclaredd0e142 -- Statement [dir=forward, arrowhead="empty"];
   Statement [label="rdf:Statement", color="yellow"]
   unsatisfiedd0e149 [label="unsatisfied\n", style=invs, shape=rect, color=white];
   Symptom -- unsatisfiedd0e149 [len=.5];
    unsatisfiedd0e149 -- Statement [dir=forward, arrowhead="empty"];
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   equald0e157 [label="equal\n", style=invs, shape=rect, color=white];
   nonNegativeInteger -- equald0e157 [len=.5];
    equald0e157 -- nonNegativeInteger [dir=forward, arrowhead="empty"];
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   geqd0e164 [label="geq\n", style=invs, shape=rect, color=white];
   nonNegativeInteger -- geqd0e164 [len=.5];
    geqd0e164 -- nonNegativeInteger [dir=forward, arrowhead="empty"];
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   nonNegativeInteger [label="xsd:nonNegativeInteger", color="yellow"]
   leqd0e171 [label="leq\n", style=invs, shape=rect, color=white];
   nonNegativeInteger -- leqd0e171 [len=.5];
    leqd0e171 -- nonNegativeInteger [dir=forward, arrowhead="empty"];
   anon_d0e178 [style=invs];
   List [label="rdf:List", color="yellow"]
   listItemd0e178 [label="listItem\n", style=invs, shape=rect, color=white];
   List -- listItemd0e178 [len=.5];
    listItemd0e178 -- anon_d0e178 [dir=forward, arrowhead="empty"];
   Symptom;
   PropertyRestrictionFailure;
   propertyd0e231 [label="property\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- propertyd0e231 [len=.5];
    propertyd0e231 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e236 [label="restriction\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- restrictiond0e236 [len=.5];
    restrictiond0e236 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e241 [label="constraint\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- constraintd0e241 [len=.5];
    constraintd0e241 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e246 [label="unasserted\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- unassertedd0e246 [len=.5];
    unassertedd0e246 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e251 [label="asserted\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- assertedd0e251 [len=.5];
    assertedd0e251 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e256 [label="undeclared\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- undeclaredd0e256 [len=.5];
    undeclaredd0e256 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e261 [label="instance\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- instanced0e261 [len=.5];
    instanced0e261 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e266 [label="item\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- itemd0e266 [len=.5];
    itemd0e266 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e271 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- conflictd0e271 [len=.5];
    conflictd0e271 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e276 [label="unsatisfied\n (max:1)", style=invs, shape=rect, color=white];
   PropertyRestrictionFailure -- unsatisfiedd0e276 [len=.5];
    unsatisfiedd0e276 -- Statement [dir=forward, arrowhead="empty"];
   MissingFacts;
   propertyd0e287 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- propertyd0e287 [len=.5];
    propertyd0e287 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e292 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- restrictiond0e292 [len=.5];
    restrictiond0e292 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e297 [label="constraint\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- constraintd0e297 [len=.5];
    constraintd0e297 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e302 [label="unasserted\n (max:3)", style=invs, shape=rect, color=white];
   MissingFacts -- unassertedd0e302 [len=.5];
    unassertedd0e302 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e307 [label="asserted\n (max:1)", style=invs, shape=rect, color=white];
   MissingFacts -- assertedd0e307 [len=.5];
    assertedd0e307 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e312 [label="undeclared\n (max:1)", style=invs, shape=rect, color=white];
   MissingFacts -- undeclaredd0e312 [len=.5];
    undeclaredd0e312 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e317 [label="instance\n (max:1)", style=invs, shape=rect, color=white];
   MissingFacts -- instanced0e317 [len=.5];
    instanced0e317 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e322 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- itemd0e322 [len=.5];
    itemd0e322 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e327 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- conflictd0e327 [len=.5];
    conflictd0e327 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e332 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   MissingFacts -- unsatisfiedd0e332 [len=.5];
    unsatisfiedd0e332 -- Statement [dir=forward, arrowhead="empty"];
   ConflictingFacts;
   propertyd0e343 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- propertyd0e343 [len=.5];
    propertyd0e343 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e348 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- restrictiond0e348 [len=.5];
    restrictiond0e348 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e353 [label="constraint\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- constraintd0e353 [len=.5];
    constraintd0e353 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e358 [label="unasserted\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- unassertedd0e358 [len=.5];
    unassertedd0e358 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e363 [label="asserted\n (card:1)", style=invs, shape=rect, color=white];
   ConflictingFacts -- assertedd0e363 [len=.5];
    assertedd0e363 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e368 [label="undeclared\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- undeclaredd0e368 [len=.5];
    undeclaredd0e368 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e373 [label="instance\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- instanced0e373 [len=.5];
    instanced0e373 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e378 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- itemd0e378 [len=.5];
    itemd0e378 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e383 [label="conflict\n (card:2)", style=invs, shape=rect, color=white];
   ConflictingFacts -- conflictd0e383 [len=.5];
    conflictd0e383 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e388 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   ConflictingFacts -- unsatisfiedd0e388 [len=.5];
    unsatisfiedd0e388 -- Statement [dir=forward, arrowhead="empty"];
   TargetConstraint;
   propertyd0e399 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- propertyd0e399 [len=.5];
    propertyd0e399 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e404 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- restrictiond0e404 [len=.5];
    restrictiond0e404 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e409 [label="constraint\n (max:1)", style=invs, shape=rect, color=white];
   TargetConstraint -- constraintd0e409 [len=.5];
    constraintd0e409 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e414 [label="unasserted\n (card:1)", style=invs, shape=rect, color=white];
   TargetConstraint -- unassertedd0e414 [len=.5];
    unassertedd0e414 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e419 [label="asserted\n (max:2)", style=invs, shape=rect, color=white];
   TargetConstraint -- assertedd0e419 [len=.5];
    assertedd0e419 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e424 [label="undeclared\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- undeclaredd0e424 [len=.5];
    undeclaredd0e424 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e429 [label="instance\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- instanced0e429 [len=.5];
    instanced0e429 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e434 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- itemd0e434 [len=.5];
    itemd0e434 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e439 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- conflictd0e439 [len=.5];
    conflictd0e439 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e444 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   TargetConstraint -- unsatisfiedd0e444 [len=.5];
    unsatisfiedd0e444 -- Statement [dir=forward, arrowhead="empty"];
   LiteralConstraint;
   propertyd0e455 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- propertyd0e455 [len=.5];
    propertyd0e455 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e460 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- restrictiond0e460 [len=.5];
    restrictiond0e460 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e465 [label="constraint\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- constraintd0e465 [len=.5];
    constraintd0e465 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e470 [label="unasserted\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- unassertedd0e470 [len=.5];
    unassertedd0e470 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e475 [label="asserted\n (card:1)", style=invs, shape=rect, color=white];
   LiteralConstraint -- assertedd0e475 [len=.5];
    assertedd0e475 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e480 [label="undeclared\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- undeclaredd0e480 [len=.5];
    undeclaredd0e480 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e485 [label="instance\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- instanced0e485 [len=.5];
    instanced0e485 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e490 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- itemd0e490 [len=.5];
    itemd0e490 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e495 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- conflictd0e495 [len=.5];
    conflictd0e495 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e500 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   LiteralConstraint -- unsatisfiedd0e500 [len=.5];
    unsatisfiedd0e500 -- Statement [dir=forward, arrowhead="empty"];
   IllegalStatement;
   propertyd0e511 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- propertyd0e511 [len=.5];
    propertyd0e511 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e516 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- restrictiond0e516 [len=.5];
    restrictiond0e516 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e521 [label="constraint\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- constraintd0e521 [len=.5];
    constraintd0e521 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e526 [label="unasserted\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- unassertedd0e526 [len=.5];
    unassertedd0e526 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e531 [label="asserted\n (card:1)", style=invs, shape=rect, color=white];
   IllegalStatement -- assertedd0e531 [len=.5];
    assertedd0e531 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e536 [label="undeclared\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- undeclaredd0e536 [len=.5];
    undeclaredd0e536 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e541 [label="instance\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- instanced0e541 [len=.5];
    instanced0e541 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e546 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- itemd0e546 [len=.5];
    itemd0e546 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e551 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- conflictd0e551 [len=.5];
    conflictd0e551 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e556 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   IllegalStatement -- unsatisfiedd0e556 [len=.5];
    unsatisfiedd0e556 -- Statement [dir=forward, arrowhead="empty"];
   EquivalentClass;
   propertyd0e567 [label="property\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- propertyd0e567 [len=.5];
    propertyd0e567 -- Statement [dir=forward, arrowhead="empty"];
   restrictiond0e572 [label="restriction\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- restrictiond0e572 [len=.5];
    restrictiond0e572 -- Statement [dir=forward, arrowhead="empty"];
   constraintd0e577 [label="constraint\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- constraintd0e577 [len=.5];
    constraintd0e577 -- Statement [dir=forward, arrowhead="empty"];
   unassertedd0e582 [label="unasserted\n (card:1)", style=invs, shape=rect, color=white];
   EquivalentClass -- unassertedd0e582 [len=.5];
    unassertedd0e582 -- Statement [dir=forward, arrowhead="empty"];
   assertedd0e587 [label="asserted\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- assertedd0e587 [len=.5];
    assertedd0e587 -- Statement [dir=forward, arrowhead="empty"];
   undeclaredd0e592 [label="undeclared\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- undeclaredd0e592 [len=.5];
    undeclaredd0e592 -- Statement [dir=forward, arrowhead="empty"];
   instanced0e597 [label="instance\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- instanced0e597 [len=.5];
    instanced0e597 -- Statement [dir=forward, arrowhead="empty"];
   itemd0e602 [label="item\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- itemd0e602 [len=.5];
    itemd0e602 -- Statement [dir=forward, arrowhead="empty"];
   conflictd0e607 [label="conflict\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- conflictd0e607 [len=.5];
    conflictd0e607 -- Statement [dir=forward, arrowhead="empty"];
   unsatisfiedd0e612 [label="unsatisfied\n (card:0)", style=invs, shape=rect, color=white];
   EquivalentClass -- unsatisfiedd0e612 [len=.5];
    unsatisfiedd0e612 -- Statement [dir=forward, arrowhead="empty"];
   CardinalityConstraint;
   MissingDeclaredValue;
   MissingValueDeclaration;
   MissingValue;
   MissingItemDeclaration;
   IncompleteUnion;
   MissingDeclaration;
   MissingComponent;
   FunctionalityFailure;
   AmbiguousComponent;
   DisjointnessFailure;
   Axiom;
   Severity;
}