Ala Mar 21 15:58:46 1996

The present 87269 DTD is circular and the expression in OUTCOME should be
made optional to provide a means to escape.

        Faultinf-+->test--+->task(perform test)
                 |        |
                 |        +->outcome----+-->expression(Me?)
                 |        |             .
                 |        |             .
                 |        |             +->fltstate(Fault Found)
                 |        |             |
                 |        |            -OR-
                 |        |             +->test,fltstate(Know Amb Grp)
                 |        |            -OR-
                 |        |             +->fault,fltstate(Found Amb
                 |        |              Group Send to Next Maint Lvl)
                 |        +->outcome...
                 |        ...
                 +->fault

        Fltstate carries the information between levels of maintenance

        Fltstate->fault-+->rects-------+->tasks(to fix)
                        |              |
                      -And/Or-         +->faults(Other faults that 
                        |              |          are fixed)       
                        +-fltstates    +->system(to repair)
                        |              |
                      -ALWAYS-         +->test(checkout)
                        |
                        +->systems(fault applies)

Fltstate(s) also implicates and explicates faults.  That is, if a test 
fails it implicates a fault and if a test passes it explicates faults. 
Fltstate is what is known about the fault at this point in the tree.

(You reserve one fltstate for "everything is okay")