- I run these queries on graphdb which contains a subset
  of the exported Coq and Isabelle dataset.

- I can't run it on the whole datasaet yet because my
  computer would explode.