                             GIVEN FACTS Section

Here  you  can  review facts you have given THE EXPERT and also  change  those 
facts.  When you eliminate or change a given fact,  ALL derived facts will  be 
re-evaluated.  Note  that  the  CURRENT fact is always the one  most  recently 
printed on the screen.

     MENU:  Scan with PgUp,  PgDn and press Enter OR press key for action. Tap 
spacebar to suppress menu temporarily, tap again to restore it.

     Down Arrow -- Move down the list of given facts currently in memory.
     Up Arrow -- Move up the list of given facts currently in memory.
     E -- Eliminate the CURRENT fact.
     R  -- Change the truth value of the CURRENT fact.  If  true,  it  becomes 
false, and vice versa.
     C  -- Erase  the entire collection of given facts (and,  of  course,  all 
derived facts as well).
     K -- Eliminate any don't-know responses you've given to  questions.  This 
may be necessary when you want to retry a query.
     U  -- Simultaneously  eliminate the entire collection of given facts  AND 
all your don't-know responses.
     Left Arrow -- Go to Basic Input Section.
     Right Arrow -- Go to Derived Facts Section.
     M -- Go to Main Menu Section.
     H Help -- Show this screen.
     O Menus Off/On -- Suppress or restore automatic display of all menus.
     X Exit -- Go to Exit Section.
