This is probably how it was meant. The imaginary HIR is pretty much equivalent to semantics, as far as I understand.