%% ?- answer(X0).

answer(nested_parenthesized_body) :- (((a = a), (b = b))).