[Inquiry] Re: Theme One Program -- Commentary -- Suspect

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOP.  Commentary Note 44

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Suspect.

Suspect is a transformation of ideas that acts as a predicate recognizer.
Its functional value is nil unless all of the following conditions are
satisfied:  (1) The argument idea points to a form whose 'sign' field
contains a left parenthesis, (2) the Coupon of this argument idea is
non-nil, has a blank character in its 'sign' field, has a non-nil
idea in its 'as'-field, and is involved in a Knot configuration,
in which case the argument idea becomes the functional value.

The following figure illustrates the case of a non-nil result:

                o---o ^ ante (bank (coupon (lief (this))))
        o-------|---|--\--------o
        |   o---o   |   o---o   |
        o-->| ) |---|-->|   |---o
            o---o   |   o---o
            ^       |   ^
            |       |   | coupon (lief (this))
            |       |   @
    o-------|---o   |
    |   o---o   |   |
    o-->| ( |---o   |
        o---o<------o
        ^
   this | = suspect (this)
        @

function suspect (this: idea): idea;
begin
 suspect := divert (knot (respect (coupon (lief (this)))), this)
end;

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o