Given a total order on the set of appropriate mental actions for a mental situation, the relation that sorts the set of mental situations according to the order in which they are explored by the depth first search strategy associated with is defined by axiom -a variation of axiom (10) in [5].

Tue Jul 21 09:26:01 PDT 1998