
$ ./start
$ ../../etb_clients/etb-shell/etb-shell

/ >  q = path(a,X)

/ > claims(q)

/ > show_goal_dependencies(q)

/ > explanation(q)

# new wrappers:

/ > query = lt(3, 2)

/ > claims(query)

/ > query = in_range(4, 6, X)

/ > claims(query)


