%% ?- answer(X0, X1).

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