Prefixes starting with <ABC>

<ABC > . <ABC#> . <ABC> (other) .