Be more specific about how to check that an IRI compacted to a term.