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

[Jon Awbrey]

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

TOP.  Commentary Note 20

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

Lief.

Lief is 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 addresses an existing form whose 'sign' field
contains a left parenthesis, in which case the argument idea is passed
along as the functional value.

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

(5260)(7600)

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

Rest.

Rest is 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 addresses an existing form whose 'sign' field
carries a right parenthesis, in which case the argument idea is passed
along as the functional value.

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

(5261)(7601)

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

Cope.

Cope is 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 addresses an existing form whose 'sign' field
contains a comma, in which case the argument idea gets passed along as
the functional value.

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

(5262)(7602)

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

Punt.

Punt is 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 addresses an existing form whose 'sign' field
contains a period (full stop), in which case the argument idea becomes
the functional value.

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

(5263)(7603)

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

Bank.

Bank is 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;

(5264)(7604)

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

Balk.

Balk is 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 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;

(5265)(7605)

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

Bark.

Bark is 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 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;

(5266)(7606)

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

Blur.

Blur is 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 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;

(5267)(7607)

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

Entab.

Entab is 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 tab character, in which case the argument idea is passed along as
the functional value.

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

(5268)(7608)

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

Scape.

Scape is 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
an escape character, in which case the argument idea is passed along
as the functional value.

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

(5269)(7609)

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

Cleft.

Cleft is transformation of ideas that serves 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;

(5270)(7610)

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

Grain.

Grain is 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 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;

(5271)(7611)

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

Crest.

Crest is transformation of ideas that serves 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;

(5272)(7612)

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

Glyph.

Glyph is 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 comma
or a right parenthesis, in which case the argument idea is returned
as the functional value.

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

(5273)(7613)

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

Tare.

Tare is 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 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;

(5274)(7614)

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

Gram.

Gram is 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 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;

(5275)(7615)

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

Atom.

Atom is 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;

(5276)(7616)

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

Accept.

Accept is transformation of ideas that serves 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;

(5277)(7617)

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

Accede.

Accede is transformation of ideas that serves 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;

(5278)(7618)

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

Critic.

Critic is transformation of ideas that serves 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;

(5279)(7619)

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