 
 (errors (datalog/knowledge (clojure.set/union stdlib example-b) rules))
 
-(q* (datalog/knowledge (clojure.set/union stdlib example-b) rules) [?id :match true] :return id)
+(q* (datalog/knowledge (clojure.set/union stdlib example-b) rules) [:vec :notebook/page ?id] :return id)

(q* (datalog/knowledge (clojure.set/union stdlib example-a) rules) [?id :page true] :return id)

(def example-b
  #{[:root :page/args [:arg_x]]
    [:root :page/steps [:result]]
    [:result :match/arg :arg_x]
    [:result :match/branches [:branch_map :branch_nested]]

    })

(def example-a
  #{[:root_notebook :notebook/description "wooohoo"]
    [:root_notebook :notebook/pages [:root]]
    [:root :page/args [:arg_a :arg_b :arg_c]]
    [:root :page/steps [:b_squared :four :four_a_c :result]]
    [:b_squared :call/fun :fun_mult]
    [:b_squared :call/args [:arg_b :arg_b]]
