Prefixes starting with <Internet>

<Internet > . <Internet> (other) .