[
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0008780"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000089"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001049"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0052907"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0070166"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0017128"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_57643"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0045332"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005789"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0012505"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005789"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0098827"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0042175"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005783"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0012505"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1902751"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0034605"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034605"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0009416"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001905"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005004"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0031547"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0031547"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060509"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0003950"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005576"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://identifiers.org/uniprot/F1NEF7"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005576"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0008201"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0030326"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030326"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0004693"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://identifiers.org/uniprot/P14732"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0051081"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0051081"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0004804"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0004245"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0002132"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0030424"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001793"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0005576"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005884"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005884"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0015629"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1902808"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0034605"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034605"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0044305"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005921"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005921"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1902656"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904561"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904561"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0021766"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0030424"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001797"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0005576"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0048286"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0042476"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
        "term" : "http://purl.obolibrary.org/obo/GO_0043235"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0033038"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904561"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904561"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0032570"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0002132"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0004245"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0004164"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0009416"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000652"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001905"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0008273"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005886"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0071944"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005886"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005576"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0009267"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0008392"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002107"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_27258"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904681"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002113"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002234",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_27259"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904681"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0003714"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001134"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0008284"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0034605"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034605"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0001046"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0009408"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0009408"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005604"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0002573"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0019905"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0051795"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030252"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/CL_2000004"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0051649"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0045820"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000127"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005737"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0031072"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005829"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0046847"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0043005"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000740"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0048672"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0031547"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0001560"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0031547"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0035846"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0010628"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1903936"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1903936"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0008283"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0030326"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030326"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0007565"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0003700"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0010629"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000515"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060510"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0045296"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0030027"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0030027"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0031252"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0016020"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0016020"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904558"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904559"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904559"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0008780"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_1904408"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000127"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0033038"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904559"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904559"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0001046"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0140297"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001134"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904560"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904561"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904561"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0001025",
        "term" : "http://purl.obolibrary.org/obo/GO_0005604"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000223"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0006939"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002108"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0007357"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0033142"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005829"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060736"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0048242"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/CL_0000166"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0051649"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0003677"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0034605"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034605"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0050187"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002234",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_57947"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0140651"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001348"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0031966"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_58092"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002213",
          "term" : "http://purl.obolibrary.org/obo/GO_1990845"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0031966"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005739"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0004034",
        "term" : "http://purl.obolibrary.org/obo/GO_1990845"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0140651"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005740"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0003950"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005576"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://identifiers.org/uniprot/P08940"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005576"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0016360"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001846"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0019221"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0097059"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0002467"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0008284"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1903936"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1903936"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034614"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0010628"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0010628"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0030544"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005829"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005524"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005829"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0010628"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0009408"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0009408"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904657"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0033041"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0000057",
          "term" : "http://identifiers.org/uniprot/P02883"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0001582"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0017128"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_57643"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_64612"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002213",
          "term" : "http://purl.obolibrary.org/obo/GO_0000045"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0045332"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002264",
        "term" : "http://purl.obolibrary.org/obo/GO_0016236"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0004034",
        "term" : "http://purl.obolibrary.org/obo/GO_0000045"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002264",
        "term" : "http://purl.obolibrary.org/obo/GO_0044085"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005125"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0097059"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0002331"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0030544"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002092",
          "term" : "http://purl.obolibrary.org/obo/GO_0071393"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0140335"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://identifiers.org/uniprot/A0A1D5PUP4"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0045666"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0045666"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060816"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0045893"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0008283"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0060174"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0008283"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060174"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904380"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0036503"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0036503"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060070"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0035108"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0035108"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0051879"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005829"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005737"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005829"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030261"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0043131"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0043131"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0061357"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0030177"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030177"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0043565"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0009408"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0009408"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030514"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0003140"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0003140"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1990810"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0046325"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000127"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0043066"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0000515"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0090090"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0030182"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0030182"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0035938"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/CL_0000216"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0051649"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0004497"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002107"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002233",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_27258"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904681"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002113"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002234",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_27259"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904681"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0017075"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1902656"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_1904559"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904559"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0090336"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1900108"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0003140"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0003140"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060742"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0033142"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0000993"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0002092",
          "term" : "http://purl.obolibrary.org/obo/GO_0071393"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0060065"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904657"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0033041"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0000057",
          "term" : "http://identifiers.org/uniprot/Q6LEL2"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0001582"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005925"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005925"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_1990841"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0005634"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005634"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0005622"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0010628"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0034605"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0034605"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_1904657"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0033041"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0000057",
          "term" : "http://identifiers.org/uniprot/P02881"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0001582"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0005515"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/GO_0042025"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0042025"
      },
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002432",
        "term" : "http://purl.obolibrary.org/obo/GO_0043656"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0008284"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/GO_0071478"
        }
      ]
    },
    "inferences" : [
      {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0071478"
      }
    ],
    "satisfiable" : true,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0043627"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/CL_0002132"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000050",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0004245"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002331",
        "term" : "http://purl.obolibrary.org/obo/GO_0048535"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : true
  },
  {
    "annotation" : {
      "annotation" : {
        "relation" : "http://purl.obolibrary.org/obo/RO_0002327",
        "term" : "http://purl.obolibrary.org/obo/GO_0004952"
      },
      "taxon" : "http://purl.obolibrary.org/obo/NCBITaxon_9031",
      "extension" : [
        {
          "relation" : "http://purl.obolibrary.org/obo/RO_0000057",
          "term" : "http://purl.obolibrary.org/obo/CHEBI_73297"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0001890"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0002421"
        },
        {
          "relation" : "http://purl.obolibrary.org/obo/BFO_0000066",
          "term" : "http://purl.obolibrary.org/obo/UBERON_0005383"
        }
      ]
    },
    "inferences" : [
    ],
    "satisfiable" : false,
    "taxonProblem" : false
  }
]