#trace +step +search
?
eq ?X {{ a 1 b 2 c 3 }}
member_at X ?Y ?Z
...
qlist
?
eq ?X {{ a 1 b 2 c 3 }}
member_at X ?Y ?Z
eq Z 2
...
qlist