 where you will do some looking for the right microtheories to assert in and ask from. To use the shorter version of the walk through, just keep reading. The long version is 30-60 minutes longer than the short version.</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">In order to prepare for adding assertions to the KB, we're going to set up one new microtheory into which we will put all of our assertions about Billy and Peter. The microtheory will need to "see" all micr