In section 3.2, > An [IRI](https://tools.ietf.org/html/rfc3987#section-2) is generated for the [string](https://infra.spec.whatwg.org/#javascript-string) value specified using `@id` or `@type`. Up to this point, no example of `@type` being understood as an IRI has been shown. I would add > … `@type`, as shown below in 3.5, Specifying the Type.