Copyright © 2002 Cycorp A Bundle of Assertions Think of a microtheory (mt) as a set of assertions. Each microtheory bundles assertions based on –a shared.
