:- [q].

- [
  a + b
, b - c
].

:- trace([v,t,e,i]).
:- G=v(c = up at _T,[a = down at next(1)],_W), G, print(G),nl.