%% goal: answer(X0)

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