Prefixes starting with <WITH >

<WITH S> . <WITH T> . <WITH > (other) .