sentences:  It was implemented on the Symbolics 3600 Series LISP machine and used multiple communicating instances of PRS.The system maintained over 1000 facts about the RCS, over 650 facts for the forward RCS alone and half of which are updated continuously during the mission.A version of the PRS was used to monitor the reaction control system on the NASA Space Shuttle Discovery.