The correspondence rules correlate with semantic distinction of verb classes: the semantic field distinction between Spatial and Temporal with respect to the BE-function encoded in the lexical conceptual structure of several verbs.
this paper elucidates the mechanism of locative alternation of the verb aru 'be', which has not been fully explicated.