Prefixes starting with <shal>

<shall> . <shal> (other) .