:a :b :c.

:d :e :f.

{?x ?y ?z} => {?z ?y ?x}.