Dependency Graph for cs.predicate 20190221