Der Start setzt genau vor dem gewünschten Schlüssel auf.
Ein "READ MyFile at end" liest den nächsten Satz, "next" ist der Default, im Gegensatz halt zu "previous".
Ein "READ myfile key is externally-described-key Invalid" ist ein Direktzugriff.

Der Invalid beim Start wird tatsächlich nur ausgelöst, wenn kein Satz folgt. Kann aber auch ignoriert werden, da der nächste Read ja auch auf "at end" kommt.