\addvspace {10pt}
\addvspace {10pt}
\addvspace {10pt}
\contentsline {figure}{\numberline {3.1}{\ignorespaces Rplan Type Description for T-Make-Pasta-Dish}}{12}
\addvspace {10pt}
\addvspace {10pt}
\contentsline {figure}{\numberline {5.1}{\ignorespaces Example's Type Hierarchy Expressed as a Tree}}{18}
\addvspace {10pt}
\contentsline {figure}{\numberline {6.1}{\ignorespaces RPRS's {\unhbox \voidb@x \hbox {{\psf Reset-RPRS}}}\ function - initialization}}{32}
\contentsline {figure}{\numberline {6.2}{\ignorespaces RPRS's {\unhbox \voidb@x \hbox {{\psf Reset-RPRS}}}\ function - type hierarchy}}{33}
\contentsline {figure}{\numberline {6.3}{\ignorespaces Hook to describe step usage to define-subtype}}{34}
\contentsline {figure}{\numberline {6.4}{\ignorespaces Defining an Action Type}}{34}
\contentsline {figure}{\numberline {6.5}{\ignorespaces Cplan Type Definition}}{35}
\contentsline {figure}{\numberline {6.6}{\ignorespaces Common Plan Type Definition}}{36}
\contentsline {figure}{\numberline {6.7}{\ignorespaces Generating Explanations - Doing Proofs in Rhet}}{37}
\contentsline {figure}{\numberline {6.8}{\ignorespaces Rhet Code for Finding Plan Types - Cover-Initial-Observation}}{38}
\contentsline {figure}{\numberline {6.9}{\ignorespaces Rhet Code for Finding Plan Types - Cover-Observation}}{38}
\contentsline {figure}{\numberline {6.10}{\ignorespaces Rhet Code for Finding Plan Types - Cover-Observations}}{39}
\contentsline {figure}{\numberline {6.11}{\ignorespaces Rhet Support Code for Parsing Plan Proofs - Proof-List-to-Step-List}}{39}
\contentsline {figure}{\numberline {6.12}{\ignorespaces Rhet Support Code for Parsing Plan Proofs - Merge-Plan-Instances}}{40}
\contentsline {figure}{\numberline {6.13}{\ignorespaces Rhet Support Code for Parsing Plan Proofs - Merge-Steps}}{40}
\contentsline {figure}{\numberline {6.14}{\ignorespaces Rhet Support Code for Parsing Plan Proofs - Merge-Step}}{41}
\contentsline {figure}{\numberline {6.15}{\ignorespaces Rhet Code for Examining KB - Has-Step-Recursive}}{42}
\contentsline {figure}{\numberline {6.16}{\ignorespaces Generating Explanations - Building Instances in Rhet}}{43}
\addvspace {10pt}
\addvspace {10pt}
