#include "core/aux/graphs_trees_depth.lp".

graphs_node(a; b; c; d).
graphs_tree_depends(b,a).
graphs_tree_depends(c,a).
graphs_tree_depends(d, a).
graphs_tree_depends(d, c). 

#show graphs_tree_depth/2.