ContributorJos de BruijnStatusApprovedRecordDialectBLDPurposeDemonstrate that a single IRI may correspond to several stringsDescriptionThe built-in predicate pred:iri-string is satisfied whenever the second argument is a string corresponding to representing the first argument.