%% goal: answer(X0)

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