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

[Jon Awbrey]

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

TOP.  Commentary Note 20

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

Lief.

Lief is a transformation of ideas that functions as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a left parenthesis, in which case the argument idea is returned as
the functional value.

function lief (this: idea): idea;
begin
 lief := apt (links, this)
end;

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

Rest.

Rest is a transformation of ideas that functions as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a right parenthesis, in which case the argument idea is returned as
the functional value.

function rest (this: idea): idea;
begin
 rest := apt (right, this)
end;

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

Cope.

Cope is a transformation of ideas that functions as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a comma character, in which case the argument idea is passed along
as the functional value.

function cope (this: idea): idea;
begin
 cope := apt (comma, this)
end;

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

Punt.

Punt is a transformation of ideas that functions as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a period (full stop), in which case the argument idea is returned as
the functional value.

function punt (this: idea): idea;
begin
 punt := apt (point, this)
end;

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

Bank.

Bank is a transformation of ideas that functions as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a blank character, in which case the argument idea is passed through
as the functional value.

function bank (this: idea): idea;
begin
 bank := apt (blank, this)
end;

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

Balk.

Balk is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field contains either a blank character
or a left parenthesis, in which case the argument idea is returned as
the functional value.

function balk (this: idea): idea;
begin
 balk := belong ([blank, links], this)
end;

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

Bark.

Bark is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field contains either a blank character
or a right parenthesis, in which case the argument idea gets returned
as the functional value.

function bark (this: idea): idea;
begin
 bark := belong ([blank, right], this)
end;

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

Blur.

Blur is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field contains either a blank character,
a left parenthesis, or a right parenthesis, in which case the argument
idea is returned as the functional value.

function blur (this: idea): idea;
begin
 blur := belong ([blank, links, right], this)
end;

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

Entab.

Entab is a transformation of ideas that serves as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
a tab character, in which case the argument idea is returned as the
functional value.

function entab (this: idea): idea;
begin
 entab := apt (estab, this)
end;

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

Scape.

Scape is a transformation of ideas that serves as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea points to a form whose 'sign' field contains
an escape character, in which case the argument idea is returned as
the functional value.

function scape (this: idea): idea;
begin
 scape := apt (escap, this)
end;

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

Cleft.

Cleft is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
a form whose 'sign' field bears either a comma or a left parenthesis,
in which case the argument idea is returned as the functional value.

function cleft (this: idea): idea;
begin
 cleft := belong ([comma, links], this)
end;

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

Grain.

Grain is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field bears something besides a comma
or a left parenthesis, in which case the argument idea is returned
as the functional value.

function grain (this: idea): idea;
begin
 grain := beside ([comma, links], this)
end;

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

Crest.

Crest is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
a form whose 'sign' field bears either a comma or a right parenthesis,
in which case the argument idea is returned as the functional value.

function crest (this: idea): idea;
begin
 crest := belong ([comma, right], this)
end;

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

Glyph.

Glyph is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field bears something besides a comma
or a right parenthesis, in which case the argument idea is passed
along as the functional value.

function glyph (this: idea): idea;
begin
 glyph := beside ([comma, right], this)
end;

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

Tare.

Tare is a transformation of ideas that serves as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea addresses an existing form whose 'sign' field
contains a comma, a left parenthesis, or a right parenthesis, in which
case the argument idea "sifts through" to become the functional value.

function tare (this: idea): idea;
begin
 tare := belong ([comma, links, right], this)
end;

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

Gram.

Gram is a transformation of ideas that serves as a special recognizer,
in effect, as a type of predicate.  Its functional value is a nil idea
unless its argument idea references a form whose 'sign' field contains
something besides a comma, a left parenthesis, or a right parenthesis,
in which case the argument idea "passes through the filter" to become
the functional value.

function gram (this: idea): idea;
begin
 gram := beside ([comma, links, right], this)
end;

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

Atom.

Atom is a transformation of ideas that serves as a predicate recognizer.
Its functional value is a nil idea unless its argument idea points to
an existing form whose 'sign' field bears something besides a blank,
a comma, a left parenthesis, or a right parenthesis, in which case
the argument idea is returned as the functional value.

function atom (this: idea): idea;
begin
 atom := beside ([blank, comma, links, right], this)
end;

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

Accept.

Accept is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea addresses a
form whose 'sign' field contains a blank, a comma, or a carriage return,
in which case the argument idea is passed along as the functional value.

function accept (this: idea): idea;
begin
 accept := belong ([blank, comma, enter], this)
end;

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

Accede.

Accede is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea addresses a
form whose 'sign' field contains a blank or a carriage return, in which
case the argument idea is reported as the functional value.

function accede (this: idea): idea;
begin
 accede := belong ([blank, enter], this)
end;

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

Critic.

Critic is a transformation of ideas that acts as a predicate recognizer.
Its functional value is a nil idea unless its argument idea addresses a
form whose 'sign' field contains a comma or a period, in which case the
argument idea is returned as the functional value.

function critic (this: idea): idea;
begin
 critic := belong ([comma, point], this)
end;

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