c/img/cb/questionmark.gif" width="22" />   What are definitional assertions?</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;"><img alt="Click here for suggested reading on this topic" border="0" src="/cycdoc/img/cb/book_icon.gif" width="30" />   Further reading on #$genlMt</p>
<p style="font-family: Arial, sans-serif; font-size: medium; line-height: normal;">Now, let's quickly tell Cyc about our new microtheory, which we'll call "Cats-PracticeMt". First, go to the