(defrule ask-if-answer-node-is-correct

   ?node <- (current-node ?name)

   (node (name ?name) (type answer)

         (answer ?value))

   (not (answer ?))

   =>

   (printout t "I guess it is a " ?value crlf)

   (assert (answer (ask-yes-or-no "Am I correct?"))))