
1
<condition>

<eval> [True_ [] 1]*

6
if
<eval>
then
begin
<eval>
end

<eval> [ ( [] <eval> [ not [] 2 ] or [] 5 ) [] ]*

1
<eval>

begin [] 1 end []*


3
<stage>
is
<quality>

<gramcat> [Itself []] 2 3 in [] 1*

3
<stage>
gets
<quality>

<gramcat> [Itself []] 2 3 in [] 1*

3
<stage>
postmarked
<quality>

<gramcat> [Itself []] 2 3 in [] 1*


1
Terminal_

<gramcat> [1 First []]*

1
Nonterminal_

<gramcat> [1 First []]*

1
?

<gramcat> [1 First []]*

1
*

<gramcat> [1 First []]*

1
Constant

<gramcat> [1 First []]*

5
(
<quality>
or
<quality>
)

<quality> [2 3 4]*

5
(
<quality>
and
<quality>
)

<quality> [2 3 4]*

3
<eval>
otherwise
<eval>

<eval> [ ( [] 1 or [] 3 ) [] ]*

2
gets!
marked

1*

2
lategets!
marked

1*

2
gets
assigned

2*

3
Terminal_
:
<quality>

( [] 1 and [] 3 ) []*

//8
//if
//<eval>
//then
//begin
//<eval>
//end
//else
//<eval>
//
//( [] 1 2 3 4 5 6 and [] if [] not [] 2 then [] 8 ) []*

10
if
<eval>
then
begin
<eval>
end
else
begin
<eval>
end

( [] 1 2 3 4 5 6 and [] if [] not [] 2 then [] 8 9 10 ) []*




4
not
(
<eval>
)

<eval> [1 3]*

6
<gramcat>
is
not
<quality>
in
<stage>

<eval> [ 3 <eval> [ True_ [] <condition> [1 2 4 5 6]] ]*

4
<stage>
is
not
<quality>

<eval>
[3 <eval> [ True_ [] <condition> [<gramcat> [Itself []] 2 4 in [] 1]]]*

3
<eval>
and
<eval>

<eval> [ ( [] 1 2 3 ) [] ]*

3
<eval>
or
<eval>

<eval> [ ( [] 1 2 3 ) [] ]*

3
<eval>
iff
<eval>

<eval> [ ( [] 1 2 3 ) [] ]*

3
<eval>
xor
<eval>

<eval> [ ( [] 1 2 3 ) [] ]*

3
<eval>
;
<eval>

1 and [] 3*

7
<gramcat>
in
<stage>
=
<gramcat>
in
<stage>

( [] 1 match [] eqLHS [] 2 3 and [] 5 match [] eqRHS [] 6 7 ) []*

7
<gramcat>
in
<stage>
<>
<gramcat>
in
<stage>

not [] ( [] 1 match [] eqLHS [] 2 3 and [] 5 match [] eqRHS [] 6 7 ) []*

8
<gramcat>
in
<stage>
=
=
<gramcat>
in
<stage>

( [] 1 match [] LHSrep [] 2 3 and [] 6 match [] RHSrep [] 7 8 ) []*

7
<gramcat>
in
<stage>
%
<gramcat>
in
<stage>

not [] ( [] 1 match [] LHSrep [] 2 3 and [] 5 match [] RHSrep [] 6 7 ) []*

3
<register>
assigned
<lex_entry>

<condition> [ 1 2 3 in [] <stage> [ Last [] ] ]*

3
<stage>
inherits
<quality>

<condition> [1 2 3 in [] <stage> [ Last [] ]]*

// in case we ever bring "assumption" back
// 3
// <stage>
// becomes
// <quality>
//
// <condition> [1 2 3 in [] <stage> [ Last [] ]]*

3
is
<defined>
as

2*

3
<register>
<defined>
<gramcat>

3 2 1*

2
is
quote

2*

3
is
not
quote

2 3*

9
<gramcat>
quote
(
<gramcat>
in
<stage>
)
in
<stage>

3 4 match [] LHSrep [] 5 6 and [] 1 match [] quoteLHS [] 8 9 7*

9
<gramcat>
in
<stage>
quote
(
<gramcat>
in
<stage>
)

5 1 match [] LHSptr [] 2 3 and [] 6 match [] quoteRHS [] 7 8 9*

3
<gramcat>
not
quote

2 1 3*

5
<gramcat>
in
<stage>
not
quote

4 1 2 3 5*

4
quote
(
<gramcat>
)

<quoteOf> [3]*

1
^

Itself []*

5
<stage>
inherits
<quality>
from
<stage>

if [] <condition> [<gramcat> [Itself []] is [] 3 in [] 5] then [] 1 2 3*

2
appears
in

1*

2
appear
in

1*

1
appear

appears []*

2
does
not

2*

2
not
appear

noappears[]*

7
<gramcat>
in
<stage>
appears
<gramcat>
in
<stage>

( [] 1 match [] LHSrep [] 2 3 and [] 5 match [] RHSsearch [] 6 7 ) []*

7
<gramcat>
in
<stage>
noappears
<gramcat>
in
<stage>

not [] ( [] 1 match [] LHSrep [] 2 3 and [] 5 match [] RHSsearch [] 6 7 ) []*

2
already
appears

preappears []*

2
not
preappears

nopreappears []*

7
<gramcat>
in
<stage>
preappears
<gramcat>
in
<stage>

( [] 5 match [] LHSptr [] 6 7 and [] 1 match [] RHSsearchback [] 2 3 ) []*

7
<gramcat>
in
<stage>
nopreappears
<gramcat>
in
<stage>

not [] ( [] 5 match [] LHSptr [] 6 7 and [] 1 match [] RHSsearchback [] 2 3 ) []*


5
<gramcat>
,
with
<quality>
,

<gramcat> [ 1 4 ]*


12
wREG
=
<bifunc>
(
<gramcat>
in
Integer
,
<gramcat>
in
Integer
)

5 match [] LHSptr [] 6 7 and [] 9 match [] RHSbival [] 3 10 11*


12
wREG2
=
<bifunc>
(
<gramcat>
in
Integer
,
<gramcat>
in
Integer
)

5 match [] LHSptr [] 6 7 and [] 9 match [] RHSbival2 [] 3 10 11*


3
$
=
wREG

^ [] match [] RHSbiPREG [] 3 in [] <stage> [ Last [] ]*

5
$
=
wREG
in
<stage>

^ [] match [] RHSbiPREG [] 3 4 5*

12
$
=
<bifunc>
(
<gramcat>
in
Integer
,
<gramcat>
in
Integer
)

4 5 match [] LHSptr [] 6 7 and [] 9 match [] RHSbiPREG [] 3 10 11 12*

12
$
=
<bifunc>
(
<gramcat>
in
Integer
,
<register>
in
Integer
)

4 5 match [] LHSptr [] 6 7 and []
<regContents> [9] match [] RHSbiPREG [] 3 10 11 12*



//  simple case "quote(* in 1), in 2"
//  $ is <defined> as <table_name>, with quote(* in 1), in 2.

14
<register>
<defined>
<gramcat>
,
with
quote
(
<gramcat>
in
<stage>
)
,
in
<stage>

7 8 match [] LHSrep [] 9 10 and []
1 2 3 4 5 * [] quoteLHS [] 12 13 14 11*

//  AND case "quote(* in 1), in 2"
//  $ is <defined> as <table_name>, with X and quote(* in 1), in 2.

16
<register>
<defined>
<gramcat>
,
with
<quality>
and
quote
(
<gramcat>
in
<stage>
)
,
in
<stage>

9 10 match [] LHSrep [] 11 12 and []
1 2 3 4 5 6 7 * [] quoteLHS [] 14 15 16 13*


//  OR case "quote(* in 1), in 2"
//  $ is <defined> as <table_name>, with X or quote(* in 1), in 2.

16
<register>
<defined>
<gramcat>
,
with
<quality>
or
quote
(
<gramcat>
in
<stage>
)
,
in
<stage>

9 10 match [] LHSrep [] 11 12 and []
1 2 3 4 5 6 7 * [] quoteLHS [] 14 15 16 13*



//  simple case "... in 1, with quote(* in 2)"
//  $ is <defined> as <table_name> in 1, with quote(* in 2).

13
<register>
<defined>
<gramcat>
in
<stage>
,
with
quote
(
<gramcat>
in
<stage>
)

9 3 match[] LHSquoteback [] 4 5 and []
10 prepares []
<quality> [RHSquoteback [] <quality> [<quality> [* [] <quality> []]]]
11 12 13*


13
does
appear
<gramcat>
in
<stage>
,
with
quote
(
<gramcat>
in
<stage>
)

9 3 match[] LHSquoteback [] 4 5 and []
10 prepares []
<quality> [RHSquoteback [] <quality> [<quality> [* [] <quality> []]]]
11 12 13*


//  AND case "... in 1, with X and quote(* in 2)"
//  $ is <defined> as <table_name> in 1, with X and quote(* in 2).

15
<register>
<defined>
<gramcat>
in
<stage>
,
with
<quality>
and
quote
(
<gramcat>
in
<stage>
)

11 3 match[] LHSquoteback [] 4 5 and []
12 prepares []
<quality> [RHSquoteback [] <quality> [<quality> [* [] <quality> []] 9 8]]
13 14 15*



//  OR case "... in 1, with X or quote(* in 2)"
//  $ is <defined> as <table_name> in 1, with X or quote(* in 2).

15
<register>
<defined>
<gramcat>
in
<stage>
,
with
<quality>
or
quote
(
<gramcat>
in
<stage>
)

11 3 match[] LHSquoteback [] 4 5 and []
12 prepares []
<quality> [RHSquoteback [] <quality> [<quality> [* [] <quality> []] 9 8]]
13 14 15*

//  simple case "=(* in 1), in 2"
//  $ is <defined> as <table_name>, with =(* in 1), in 2.

14
<register>
<defined>
<gramcat>
,
with
=
(
<gramcat>
in
<stage>
)
,
in
<stage>

7 8 match [] LHSrep [] 9 10 and []
1 2 3 4 5 * [] RHSrep [] 12 13 14 11*


//  AND case "=(* in 1), in 2"
//  $ is <defined> as <table_name>, with X and =(* in 1), in 2.

16
<register>
<defined>
<gramcat>
,
with
<quality>
and
=
(
<gramcat>
in
<stage>
)
,
in
<stage>

9 10 match [] LHSrep [] 11 12 and []
1 2 3 4 5 6 7 * [] RHSrep [] 14 15 16 13*


//  OR case "=(* in 1), in 2"
//  $ is <defined> as <table_name>, with X or =(* in 1), in 2.

16
<register>
<defined>
<gramcat>
,
with
<quality>
or
=
(
<gramcat>
in
<stage>
)
,
in
<stage>

9 10 match [] LHSrep [] 11 12 and []
1 2 3 4 5 6 7 * [] RHSrep [] 14 15 16 13*



13
does
appear
<gramcat>
in
<stage>
,
with
=
(
<gramcat>
in
<stage>
)

9 3 match[] LHSquoteback [] 4 5 and []
10 prepares []
<quality> [RHSxmatchback [] <quality> [<quality> [* [] <quality> []]]]
11 12 13*


//  simple case "... in 1, with =(* in 2)"
//  $ is <defined> as <table_name> in 1, with =(* in 2).

13
<register>
<defined>
<gramcat>
in
<stage>
,
with
=
(
<gramcat>
in
<stage>
)

9 3 match[] LHSquoteback [] 4 5 and []
10 prepares []
<quality> [RHSmatchback [] <quality> [<quality> [* [] <quality> []]]]
11 12 13*


//  AND case "... in 1, with X and =(* in 2)"
//  $ is <defined> as <table_name> in 1, with X and =(* in 2).

15
<register>
<defined>
<gramcat>
in
<stage>
,
with
<quality>
and
=
(
<gramcat>
in
<stage>
)

11 3 match[] LHSquoteback [] 4 5 and []
12 prepares []
<quality> [RHSmatchback [] <quality> [<quality> [* [] <quality> []] 9 8]]
13 14 15*


//  OR case "... in 1, with X or =(* in 2)"
//  $ is <defined> as <table_name> in 1, with X or =(* in 2).

15
<register>
<defined>
<gramcat>
in
<stage>
,
with
<quality>
or
=
(
<gramcat>
in
<stage>
)

11 3 match[] LHSquoteback [] 4 5 and []
12 prepares []
<quality> [RHSmatchback [] <quality> [<quality> [* [] <quality> []] 9 8]]
13 14 15*





// if 2 is X then * gets postmarked Y in 1.

12
if
<gramcat>
is
<quality>
in
<stage>
then
<gramcat>
postmarked
<quality>
in
<stage>

8 halfgets [] 10 11 12 and [] 8 match [] LHSptr [] 11 12 and []
1 2 3 4 5 6 7 8 completes [] RHSpost [] 10 5 6*


// if 2 is not X then * gets postmarked Y in 1.

13
if
<gramcat>
is
not
<quality>
in
<stage>
then
<gramcat>
postmarked
<quality>
in
<stage>

( [] 9 halfgets [] 11 12 13 and [] 9 match [] LHSptr [] 12 13 ) [] and []
1 2 3 4 5 6 7 8 9 completes [] RHSpost [] 11 6 7*



// if 2 is X and 3 is Y then * gets postmarked Z in 1.
// too much water under the bridge to change <condition> structure now!

14
if
<gramcat>
is
<quality>
in
<stage>
and
<condition>
then
<gramcat>
postmarked
<quality>
in
<stage>

10 halfgets [] 12 13 14 and [] 10 match [] LHSptr [] 13 14 and []
1 2 3 4 5 6 7 8 9 10 completes [] RHSpost [] 12 5 6*


// if 2 is X or 3 is Y then * gets postmarked Z in 1.

14
if
<gramcat>
is
<quality>
in
<stage>
or
<condition>
then
<gramcat>
postmarked
<quality>
in
<stage>

10 halfgets [] 12 13 14 and [] 10 match [] LHSptr [] 13 14 and []
1 2 3 4 5 6 7 8 9 10 completes [] RHSpost [] 12 5 6*

2
gets
postmarked

2*



10
<bifunc>
(
<gramcat>
in
Integer
,
<register>
in
Integer
)

2 3 match [] LHSptr [] 4 5 and []
<regContents> [7] match [] RHSbiNoReg [] 1 8 9 10*

10
<bifunc>
(
<gramcat>
in
Integer
,
<gramcat>
in
Integer
)

2 3 match [] LHSptr [] 4 5 and [] 7 match [] RHSbiNoReg [] 1 8 9 10*


----
0
----
