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

answer :- \+ arg(3, pair(left, right), Value).