Re: context/world and asserting in multiple contexts

Hi,

> >
> > But when I tried, it looked like a module had only one parent. Or
> > maybe I made a mistake while declaring the modules.
> 
> I'm not sure I understand what you mean about it looking like a
> module had only one parent.  

I tried again and found out, that I had some statements which lead to
warnings which didn't appear in the SLIME buffer, but were only 
diplayed at the ACL console. So, I made some syntactic mistakes
which lead to spurious results.

> For example, the bottom module prints like:
> 
>    |MDL|/PL-KERNEL-KB/TOP/MID-1/BOTTOM
> 
> The printed form is just to give a unique path to the module, not
> provide complete information.  Right now information about parent
> and child modules is not exposed via meta relations in the built-in
> knowledge base, but there isn't any reason they couldn't be added
> if someone needed to reason about it.

I don't think I will explicitly need the metadata, but it's good to
know that it'd be possible.

Many thanks


Kambiz