answer(neq_different_iri_atoms).