% Leading comment
%% goal: answer(X0, X1)
 % declaration comment
answer(comments_after_terms, ok). % fact comment