\begin{theindex}

  \item [Assert-Relations], 11, 12

  \indexspace

  \item [Cover-Initial-Observation], 38
  \item [Cover-Observation], 38
  \item [Cover-Observations], 35, 39

  \indexspace

  \item (Define-Action-Type), 34, \ii{45}
  \item (Define-Cplan-Type), 11, 35, \ii{45}
  \item (Define-Functional-Subtype), 32
  \item (Define-Plan-Type-Common), 36
  \item (Define-Rplan-Type), 11, 32, \ii{46}
  \item (Define-Subtype), 32

  \indexspace

  \item (Explain-Observations), 9, 11, 13, 35, 37, 43, \ii{46}

  \indexspace

  \item [Has-Step-Recursive], 42
  \item hooks
    \subitem relations, 34

  \indexspace

  \item [Merge-Plan-Instances], 40
  \item [Merge-Step], 41
  \item [Merge-Steps], 40

  \indexspace

  \item [Proof-List-to-Step-List], 39

  \indexspace

  \item (R-AGENT), 9
  \item (Reset-Rhetorical), 47
  \item (Reset-RPRS), 32, 33, 35, \ii{46}, 47

  \indexspace

  \item (Show-Explanation), 13, \ii{46}

  \indexspace

  \item (T-ACTION), 9
  \item (T-AGENT-OBJECT), 9, 11
  \item (T-ANIMATE), 9
  \item (T-CPLAN), 11
  \item (T-PLAN), 11
  \item (T-RPLAN), 11
  \item (T-TIME), 6
  \item (TSubType), 32

\end{theindex}
