Question about implications and contexts

What I would like to be able to do is to explore *tentative* 
implications using contexts.  I am not sure if this is feasible, and if 
so, whether I'm doing this wrong.

What I did was the following:

(define-context 'foobar :theory nil)
(define-context 'bletch :theory '(foobar))
(push-context 'foobar)
(define-concept 'p)
(define-concept 'q)
(define-concept 'r)
(implies p q)
(pc p)

gives me:

(defconcept P
   :is-primitive Thing
   :implies (:and Q P)
   :context Foobar)

Now

(push-context 'bletch)
(implies p r)

Now pc gives me:

(defconcept P
   :is-primitive Thing
   :implies (:and Q P R)
   :context Foobar)

Now I pop the context, and when I pc p, I get

(defconcept P
   :is-primitive Thing
   :implies (:and Q P R))

I was surprised by this --- I expected that back in the Foobar context I 
would see only :implies (:and q p).

Is there any way to make implications that are only visible in a child 
context and hidden from the parent?  What I am really after is the 
ability to have *undoable* implications; implications that I can add and 
then remove.

Thanks,

R

_______________________________________________
Loom Knowledge Representation Language Forum
[email protected]
Change subscription: http://mailman.isi.edu/mailman/listinfo/loom-forum