answer(neq_same_iri_fails).