answer(functor_compound, pair(edge, 2)).
answer(arg_first, a).
answer(arg_second, b).
answer(decompose, pair(edge, [a, b])).
answer(recompose, edge(a, b)).
answer(roundtrip, edge(a, b)).