16.6.2.2037 PREVIOUS SEARCH EXT

Transform the search order consisting of wid_n, ... wid₂, wid₁ (where wid₁ is searched first) into wid_n, ... wid₂. An ambiguous condition exists if the search order was empty before PREVIOUS was executed.