%% goal: answer(X0)

answer(neq_different_iri_atoms) :- ('<urn:example:a>' \= '<urn:example:b>').