<https://www.w3.org/TR/url-1/>	<http://www.w3.org/2001/02pd/rec54#formerShortname>	"url" .
<https://www.w3.org/TR/2016/NOTE-url-1-20161206/>	<http://www.w3.org/2000/10/swap/pim/doc#versionOf>	<https://www.w3.org/TR/url-1/> .
<http://www.w3.org/TR/url-1/>	<http://www.w3.org/2001/02pd/rec54#sameWorkAs>	<https://www.w3.org/TR/url-1/> .
<https://www.w3.org/TR/url-1/>	<http://www.w3.org/2001/02pd/rec54#sameWorkAs>	<http://www.w3.org/TR/url/> .