During a dialogue the user can type why? … between the nodes of the invocation tree. … why? moves the pointer T to the leftmost … [pointed to by T. ... Then? moves the pointer T to the right sibling of the node pointed to by T, subject to the following exceptions [(1) if no right sibling, THAT IS ALL is printed, (2) if T is on the error path then then? == why?]
Google-1
Google-2
Copyright clearance needed for quotation.