((/concurrent-programs/bakery/lexicographic.lisp::lex< (nil nil nil (or) nil nil nil) (nil nil nil (< and) nil nil nil) ((p r) nil nil (equal <<) nil nil nil) ((p r q s) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))