answer(functor, pair(edge, 2)).
answer(arg, b).
answer(decompose, pair(edge, "ab")).
answer(compose, edge(a, b)).
answer(term_string, 'edge(a, [b, c])').
answer(forall, ok).