%% goal: answer(X0, X1)

answer(lowercase_iri_atom, X) :- lowercase('<URN:EXAMPLE:ABC>', X).