Re: context/world and asserting in multiple contexts

> PowerLoom uses hypothetical worlds (behind the scenes) to prove
> entailments, subsumption queries, etc., however, there is (currently)
> no user-level language that allows you to create a world, this can
> only be done programmatically (e.g., via STELLA's push-world).

Sorry for not having read the manual! I was so busy searching for
"world" in the PL manual that I completely forgot the STELLA manual.

And many thanks for the assert-from-query pointer, too.


Kambiz