http://www.wsmo.org/ns/hrests

used by 0: