li><b>Wrap Interactor and Ask input boxes:</b> clicking on this options causes text in the large text input windows (e.g Interactor, Ask, Assert, Edit) to wrap automatically.  The default value is for no wrap to occur.
<li><b>Show assertions in English:</b> clicking on this option causes assertions to be displayed in generated English, as opposed to CycL (the default).  This option can also be set in the "NL Tools" section of the CYC&reg; Navigator".
<li><b>Display current MT:</b> clicking on this option tu