{ NOT (NOT IRI) }