ng is what is desired.

<p> To remove the constant from the KB and delete all assertions
involving it, press the [<i>Yes, Kill</i>] button. The number of
assertions that will be removed are listed just above the confirmation
buttons.

<p> To leave the constant intact and return to the previous frame,
press the [<i>No</i>] button.

<p><h3><a name="recreate">Recreating a Constant</a></h3>

<p> Killing a constant removes it from the KB entirely.  If a new
constant is then created with the same name (i.e., the 