The three dictionary maps

A pre-read and post-read germ $s_{\ast }^{-}\prec s_{\ast }^{+}$ describes semantic order at one reading event. It need not denote two distinct geometric times. In particular, strict semantic sequencing does not imply a positive proper-time duration for an idealized local instruction.