% Isolated ISO mode-table success case.
%% goal: answer

answer :- functor(node(a, b), node, 2).