Start of CONSTRUCTOR for the Grammar form8.grm Sun May 20 23:40:21 2001

Terminal alphabet

# 1 = #
# 2 = INPUT
# 3 = (
# 4 = graph
# 5 = )
# 6 = var
# 7 = ;
# 8 = #i#
# 9 = \bigvee_{
#10 = \bigwedge_{
#11 = \bigoplus_{
#12 = odd
#13 = :
#14 = even
#15 = exactlyone
#16 = atmostone
#17 = atleastone
#18 = none
#19 = eq
#20 = atmost_{
#21 = atleast_{
#22 = level_{
#23 = \in
#24 = V(
#25 = E(
#26 = \leftarrow
#27 = \}
#28 = B^{
#29 = }
#30 = <
#31 = \leq
#32 = \prec
#33 = \prec^+
#34 = \prec^*
#35 = =
#36 = \ne
#37 = '
#38 = \geq
#39 = +
#40 = -
#41 = *
#42 = /
#43 = ^{
#44 = #c#
#45 = |V(
#46 = )|
#47 = |E(
#48 = |
#49 = min
#50 = max
#51 = \sim
#52 = \oplus
#53 = \to
#54 = \vee
#55 = \&
#56 = \neg
#57 = _{
#58 = ,
#59 = \{

Nonterminal alphabet

#60 = `program'
#61 = `family'
#62 = `metaformula'
#63 = `input'
#64 = `bigformula'
#65 = `graphnames'
#66 = `varnames'
#67 = `graphnames1'
#68 = `grkoma'
#69 = `graphname'
#70 = `varnames1'
#71 = `varkoma'
#72 = `variable'
#73 = `limits'
#74 = `lbra'
#75 = `prefpar'
#76 = `bigformula1'
#77 = `atmost'
#78 = `atleast'
#79 = `level'
#80 = `formula'
#81 = `rate'
#82 = `rbra'
#83 = `expression'
#84 = `limit'
#85 = `constraints1'
#86 = `metavariables'
#87 = `set'
#88 = `graphname1'
#89 = `metavariable'
#90 = `arc'
#91 = `limexpression'
#92 = `lessrel'
#93 = `graphbra'
#94 = `node'
#95 = `nodekoma'
#96 = `metavariables1'
#97 = `metakoma'
#98 = `length'
#99 = `constraints'
#100 = `constrkoma'
#101 = `constraint'
#102 = `conexpression'
#103 = `relation'
#104 = `expression1'
#105 = `term'
#106 = `factor'
#107 = `factor1'
#108 = `primary'
#109 = `mmbra'
#110 = `pexpression'
#111 = `maxminkoma'
#112 = `aritmpar'
#113 = `leftpart'
#114 = `clause'
#115 = `logterm'
#116 = `literal'
#117 = `logvar'
#118 = `indexes'
#119 = `prefixformula'
#120 = `logicpar'
#121 = `indexes1'
#122 = `index'
#123 = `indexkoma'
#124 = `formlist'
#125 = `formlist1'
#126 = `formkoma'

Productions

P 1: `program' -> # `family' #
P 2: `family' -> `metaformula'
P 3: `metaformula' -> `input' `bigformula'
P 4: `metaformula' -> `bigformula'
P 5: `input' -> INPUT ( graph `graphnames' )
P 6: `input' -> INPUT ( var `varnames' )
P 7: `input' -> INPUT ( var `varnames' ; graph `graphnames' )
P 8: `graphnames' -> `graphnames1'
P 9: `graphnames1' -> `graphnames1' `grkoma' `graphname'
P10: `graphnames1' -> `graphname'
P11: `graphname' -> #i#
P12: `varnames' -> `varnames1'
P13: `varnames1' -> `varnames1' `varkoma' `variable'
P14: `varnames1' -> `variable'
P15: `variable' -> #i#
P16: `bigformula' -> \bigvee_{ `limits' `lbra' `bigformula'
P17: `bigformula' -> \bigwedge_{ `limits' `lbra' `bigformula'
P18: `bigformula' -> \bigoplus_{ `limits' `lbra' `bigformula'
P19: `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
P20: `bigformula' -> even `prefpar' `bigformula1' : `limits' )
P21: `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
P22: `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
P23: `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
P24: `bigformula' -> none `prefpar' `bigformula1' : `limits' )
P25: `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
P26: `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
P27: `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
P28: `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
P29: `bigformula' -> `formula'
P30: `bigformula1' -> `bigformula'
P31: `atmost' -> atmost_{ `rate' `rbra'
P32: `atleast' -> atleast_{ `rate' `rbra'
P33: `level' -> level_{ `rate' `rbra'
P34: `rate' -> `expression'
P35: `limits' -> `limit' ; `constraints1'
P36: `limits' -> `limit'
P37: `limit' -> `metavariables' \in `set'
P38: `limit' -> `metavariables' \in V( `graphname1' )
P39: `limit' -> `metavariables' \in E( `graphname1' )
P40: `limit' -> `metavariable' \leftarrow `arc' \in E( `graphname1' )
P41: `limit' -> `arc' \in E( `graphname1' )
P42: `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
P43: `limexpression' -> `expression'
P44: `graphname1' -> `graphname'
P45: `arc' -> `graphbra' `node' `nodekoma' `node' \}
P46: `metavariables' -> `metavariables1'
P47: `metavariables1' -> `metavariables1' `metakoma' `metavariable'
P48: `metavariables1' -> `metavariable'
P49: `metavariable' -> #i#
P50: `set' -> B^{ `length' }
P51: `length' -> `expression'
P52: `node' -> `metavariable'
P53: `lessrel' -> <
P54: `lessrel' -> \leq
P55: `lessrel' -> \prec
P56: `lessrel' -> \prec^+
P57: `lessrel' -> \prec^*
P58: `constraints1' -> `constraints'
P59: `constraints' -> `constraints' `constrkoma' `constraint'
P60: `constraints' -> `constraint'
P61: `constraint' -> `conexpression' `relation' `expression'
P62: `conexpression' -> `expression'
P63: `relation' -> <
P64: `relation' -> \leq
P65: `relation' -> \prec
P66: `relation' -> \prec^+
P67: `relation' -> \prec^*
P68: `relation' -> =
P69: `relation' -> \ne
P70: `relation' -> '
P71: `relation' -> \geq
P72: `expression' -> `expression1'
P73: `expression1' -> `expression1' + `term'
P74: `expression1' -> `expression1' - `term'
P75: `expression1' -> `term'
P76: `term' -> `factor' * `term'
P77: `term' -> `factor' / `term'
P78: `term' -> `factor'
P79: `factor' -> `factor1' }
P80: `factor' -> `primary'
P81: `factor1' -> `factor' ^{ `primary'
P82: `primary' -> #c#
P83: `primary' -> `metavariable'
P84: `primary' -> |V( `graphname' )|
P85: `primary' -> |E( `graphname' )|
P86: `primary' -> | `metavariable' |
P87: `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
P88: `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
P89: `primary' -> `aritmpar' `pexpression' )
P90: `pexpression' -> `expression'
P91: `formula' -> `leftpart' \sim `formula'
P92: `formula' -> `leftpart' \oplus `formula'
P93: `formula' -> `leftpart' \to `formula'
P94: `formula' -> `leftpart'
P95: `leftpart' -> `leftpart' \vee `clause'
P96: `leftpart' -> `clause'
P97: `clause' -> `logterm' \& `clause'
P98: `clause' -> `logterm'
P99: `logterm' -> \neg `literal'
P100: `logterm' -> `literal'
P101: `literal' -> `logvar'
P102: `literal' -> `logvar' _{ `indexes' }
P103: `literal' -> `prefixformula'
P104: `literal' -> `logicpar' `bigformula1' )
P105: `logvar' -> #i#
P106: `indexes' -> `indexes1'
P107: `indexes1' -> `index' `indexkoma' `indexes1'
P108: `indexes1' -> `index'
P109: `index' -> `expression'
P110: `prefixformula' -> odd `prefpar' `formlist' )
P111: `prefixformula' -> even `prefpar' `formlist' )
P112: `prefixformula' -> exactlyone `prefpar' `formlist' )
P113: `prefixformula' -> atmostone `prefpar' `formlist' )
P114: `prefixformula' -> atleastone `prefpar' `formlist' )
P115: `prefixformula' -> none `prefpar' `formlist' )
P116: `prefixformula' -> eq `prefpar' `formlist' )
P117: `prefixformula' -> `atmost' `prefpar' `formlist' )
P118: `prefixformula' -> `atleast' `prefpar' `formlist' )
P119: `prefixformula' -> `level' `prefpar' `formlist' )
P120: `formlist' -> `formlist1'
P121: `formlist1' -> `formlist1' `formkoma' `bigformula'
P122: `formlist1' -> `bigformula'
P123: `grkoma' -> ,
P124: `varkoma' -> ,
P125: `metakoma' -> ,
P126: `nodekoma' -> ,
P127: `constrkoma' -> ,
P128: `maxminkoma' -> ,
P129: `indexkoma' -> ,
P130: `formkoma' -> ,
P131: `graphbra' -> \{
P132: `mmbra' -> \{
P133: `logicpar' -> (
P134: `aritmpar' -> (
P135: `prefpar' -> (
P136: `rbra' -> }
P137: `lbra' -> }

Leftmost-set

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
60.program*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
61.family0**0000*****0*********000000000000000000000000000000000*00000***000000000000****00000000000000000000000000000000*****0**000000
62.metaformula0**0000*****0*********000000000000000000000000000000000*000000**000000000000****00000000000000000000000000000000*****0**000000
63.input0*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64.bigformula00*0000*****0*********000000000000000000000000000000000*00000000000000000000****00000000000000000000000000000000*****0**000000
65.graphnames0000000*0000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
66.varnames0000000*0000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
67.graphnames10000000*0000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
68.grkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
69.graphname0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
70.varnames10000000*0000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
71.varkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
72.variable0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
73.limits00*0000*00000000000000000000000000000000000**0****00000000*00000000000000000000000**0*00***0*00*0000000*****000*00000000000000
74.lbra0000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
75.prefpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
76.bigformula100*0000*****0*********000000000000000000000000000000000*0000000*000000000000****00000000000000000000000000000000*****0**000000
77.atmost0000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
78.atleast00000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
79.level000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
80.formula00*0000*000*0*********000000000000000000000000000000000*00000000000000000000***000000000000000000000000000000000*****0**000000
81.rate00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
82.rbra0000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
83.expression00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*00000000000000*****000*00000000000000
84.limit00*0000*00000000000000000000000000000000000**0****00000000*00000000000000000000000*00*00***0*00*0000000*****000*00000000000000
85.constraints100*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*000000000*0**0*****000*00000000000000
86.metavariables0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
87.set000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
88.graphname10000000*000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
89.metavariable0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
90.arc0000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000*000000000000000000000000000000000
91.limexpression00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
92.lessrel00000000000000000000000000000*****00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
93.graphbra0000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000
94.node0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
95.nodekoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
96.metavariables10000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
97.metakoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
98.length00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
99.constraints00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*000000000*0**0*****000*00000000000000
100.constrkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
101.constraint00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*000000000000*0*****000*00000000000000
102.conexpression00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
103.relation00000000000000000000000000000*********0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
104.expression100*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*00000000000000*****000*00000000000000
105.term00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*0000000000000000***000*00000000000000
106.factor00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*0000000000000000***000*00000000000000
107.factor100*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*0000000000000000***000*00000000000000
108.primary00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000000000*0000000000000000000000*00000000000000
109.mmbra0000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000
110.pexpression00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
111.maxminkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
112.aritmpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
113.leftpart00*0000*000*0*********000000000000000000000000000000000*00000000000000000000***000000000000000000000000000000000*****0**000000
114.clause00*0000*000*0*********000000000000000000000000000000000*00000000000000000000***00000000000000000000000000000000000***0**000000
115.logterm00*0000*000*0*********000000000000000000000000000000000*00000000000000000000***000000000000000000000000000000000000**0**000000
116.literal00*0000*000*0*********000000000000000000000000000000000000000000000000000000***0000000000000000000000000000000000000*0**000000
117.logvar0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
118.indexes00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000**0000
119.prefixformula00000000000*0*********000000000000000000000000000000000000000000000000000000***00000000000000000000000000000000000000000000000
120.logicpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
121.indexes100*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*000000000*0000
122.index00*0000*00000000000000000000000000000000000**0****00000000000000000000000000000000*00000*00000000000000*****000*00000000000000
123.indexkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
124.formlist00*0000*****0*********000000000000000000000000000000000*0000000*000000000000****00000000000000000000000000000000*****0**0000*0
125.formlist100*0000*****0*********000000000000000000000000000000000*0000000*000000000000****00000000000000000000000000000000*****0**0000*0
126.formkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000

Rightmost-set

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
60.program*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
61.family0000*00*00000000000000000000*00000000000000000000000000000000*0*000000000000000*00000000000000000000000000000000*****0*0000000
62.metaformula0000*00*00000000000000000000*0000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
63.input0000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64.bigformula0000*00*00000000000000000000*0000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
65.graphnames0000000*0000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000000
66.varnames0000000*0000000000000000000000000000000000000000000000000000000000000*0*000000000000000000000000000000000000000000000000000000
67.graphnames10000000*000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
68.grkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
69.graphname0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
70.varnames10000000*000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000
71.varkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
72.variable0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
73.limits0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000***0*0*000000000*0*00***0*000000000000000000
74.lbra0000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
75.prefpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
76.bigformula10000*00*00000000000000000000*0000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
77.atmost0000000000000000000000000000*0000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
78.atleast0000000000000000000000000000*0000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
79.level0000000000000000000000000000*0000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000
80.formula0000*00*00000000000000000000*00000000000000000000000000000000000000000000000000*00000000000000000000000000000000*****0*0000000
81.rate0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
82.rbra0000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
83.expression0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000000000*00000000000000***0*000000000000000000
84.limit0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*000*0*00000000000000***0*000000000000000000
85.constraints10000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*000000000*0*00***0*000000000000000000
86.metavariables0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*000000*000000000000000000000000000000
87.set0000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
88.graphname10000000*000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000
89.metavariable0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
90.arc00000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
91.limexpression0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
92.lessrel00000000000000000000000000000*****00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
93.graphbra0000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000
94.node0000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
95.nodekoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
96.metavariables10000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000
97.metakoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
98.length0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
99.constraints0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000*00***0*000000000000000000
100.constrkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
101.constraint0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
102.conexpression0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
103.relation00000000000000000000000000000*********0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
104.expression10000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000000000*000000000000000**0*000000000000000000
105.term0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000000000*000000000000000**0*000000000000000000
106.factor0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000000000*000000000000000000*000000000000000000
107.factor10000*00*000000000000000000*0000000000000000*0*0*0000000000000000000000000000000000000000*000000000000000000*000000000000000000
108.primary0000*00*000000000000000000*0000000000000000*0*0*0000000000000000000000000000000000000000*0000000000000000000000000000000000000
109.mmbra0000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000
110.pexpression0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
111.maxminkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
112.aritmpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
113.leftpart0000*00*00000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000****0*0000000
114.clause0000*00*00000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000****0*0000000
115.logterm0000*00*00000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000**0*0000000
116.literal0000*00*00000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0*0000000
117.logvar0000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
118.indexes0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000**0000
119.prefixformula0000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
120.logicpar00*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
121.indexes10000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000**0000
122.index0000*00*000000000000000000*0*00000000000000*0*0*0000000000000000000000000000000000*00000*00000000000000***0*000000000000000000
123.indexkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000
124.formlist0000*00*00000000000000000000*0000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*00000*0
125.formlist10000*00*00000000000000000000*0000000000000000000000000000000000*000000000000000*00000000000000000000000000000000*****0*0000000
126.formkoma000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000

Precedence matrix

Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
1.#0<<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000=<<<000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
2.INPUT00=000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
3.(00>=0=0>>>>>0>>>>>>>>>000000000000000000000>>0>>>>00000>0000000>00000000000>>>>>00>00000>00000000000000>>>>>0>0>>>>>>0>>000>>0
4.graph0000000<00000000000000000000000000000000000000000000000000000000=0<0<000000000000000000000000000000000000000000000000000000000
5.)>0>0>0>>>>>>>>>>>>>>>>0000>0>>>>>>>>>>>>>>>0000000>>>>>>0>00000>000000000>00>>>>0>000000000>0000000>00>0000000>0>>>>>0>>00>00>
6.var0000000<000000000000000000000000000000000000000000000000000000000=000<0<000000000000000000000000000000000000000000000000000000
7.;00<=000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<0=000<000000000<0<<0<<<<<000<00000000000000
8.#i#>000>0>00000>000000000>00>>0>>>>>>>>>>>>>>>00>0>00>>>>>0>>000000000>00>00>0000000>000000000>00>0>00>00>0000000>00000000000>00>
9.\bigvee_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<0000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
10.\bigwedge_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<0000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
11.\bigoplus_{00<0000<00000000000000000000000000000000000<<0<<<<00000000<0000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
12.odd00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
13.:00<0000<00000000000000000000000000000000000<<0<<<<00000000<0000000000000=000000000<<0<00<<<0<00<0000000<<<<<000<00000000000000
14.even00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
15.exactlyone00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
16.atmostone00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
17.atleastone00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
18.none00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
19.eq00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
20.atmost_{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
21.atleast_{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
22.level_{00<0000<00000000000000000000000000000000000<<0<<<<000000000000000000000000000000=0<00000<00000000000000<<<<<000<00000000000000
23.\in00000000000000000000000==00<0000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000
24.V(0000000<000000000000000000000000000000000000000000000000000000000000<000000000000000000=00000000000000000000000000000000000000
25.E(0000000<000000000000000000000000000000000000000000000000000000000000<000000000000000000=00000000000000000000000000000000000000
26.\leftarrow0000000000000000000000000000000000000000000000000000000000<000000000000000000000000000000=00<000000000000000000000000000000000
27.\}0000>0>000000000000000>000>0>>>>>>>>>>>>>>>00000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
28.B^{00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000=00000<<<<<000<00000000000000
29.}>0>0>0>>>>>>>>>>>>>>>>0000>0>>>>>>>>>>>>>>>0000000>>>>>>0>00000>000000000>>0>>>>0>000000000>0000000>00>0000000>0>>>>>0>>00>00>
30.<00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
31.\leq00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
32.\prec00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
33.\prec^+00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
34.\prec^*00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00>00>000000>0000000>>>>>000>00000000000000
35.=00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
36.\ne00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
37.'00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
38.\geq00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00000>00000000000000>>>>>000>00000000000000
39.+00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
40.-00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
41.*00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
42./00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000000000<000000000000000=<<<000<00000000000000
43.^{00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000000000<000000000000000000=000<00000000000000
44.#c#0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
45.|V(0000000<000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
46.)|0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
47.|E(0000000<000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
48.|0000>0><000000000000000000>0>>>>>>>>>>>>>>>00000000000000>000000000000000>0000000>000000=00>0000000>00>0000000>00000000000>000
49.min0000000000000000000000000000000000000000000000000000000000<0000000000000000000000000000000000000000000000000=00000000000000000
50.max0000000000000000000000000000000000000000000000000000000000<0000000000000000000000000000000000000000000000000=00000000000000000
51.\sim00<0000<000<0<<<<<<<<<000000000000000000000000000000000<00000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
52.\oplus00<0000<000<0<<<<<<<<<000000000000000000000000000000000<00000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
53.\to00<0000<000<0<<<<<<<<<000000000000000000000000000000000<00000000000000000000<<<=00000000000000000000000000000000<<<<<0<<000000
54.\vee00<0000<000<0<<<<<<<<<000000000000000000000000000000000<00000000000000000000<<<0000000000000000000000000000000000=<<<0<<000000
55.\&00<0000<000<0<<<<<<<<<000000000000000000000000000000000<00000000000000000000<<<0000000000000000000000000000000000=<<<0<<000000
56.\neg00<0000<000<0<<<<<<<<<000000000000000000000000000000000000000000000000000000<<<000000000000000000000000000000000000=<0<<000000
57._{00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000000000<<<<<000<00000=00<<0000
58.,00>0000>>>>>0>>>>>>>>>000000000000000000000>>0>>>>00000>0000000>0000>00>0000>>>>00>00000>0000>000000>>0>>>>>000>>>>>>0>>>>0000
59.\{00>0000>00000000000000000000000000000000000>>0>>>>00000000000000000000000000000000>00000>0000>000000000>>>>>0>0>00000000000000
60.program000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
61.family=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.metaformula>00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
63.input00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
64.bigformula>000>0000000>00000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000000000000000000>
65.graphnames0000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
66.varnames0000=0=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
67.graphnames10000>0000000000000000000000000000000000000000000000000000<000000000=0000000000000000000000000000000000000000000000000000000000
68.grkoma0000000<000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000000
69.graphname0000>0000000000000000000000000000000000000000=00000000000>000000000>0000000000000000000000000000000000000000000000000000000000
70.varnames10000>0>00000000000000000000000000000000000000000000000000<000000000000=0000000000000000000000000000000000000000000000000000000
71.varkoma0000000<000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000000
72.variable0000>0>00000000000000000000000000000000000000000000000000>000000000000>0000000000000000000000000000000000000000000000000000000
73.limits0000=00000000000000000000000<00000000000000000000000000000000000000000000=0000000000000000000000000000000000000000000000000000
74.lbra00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000
75.prefpar00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000000<00000000000=<<<<00000000000000000000000000000000<<<<<0<<000=<0
76.bigformula10000=0000000=00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
77.atmost00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
78.atleast00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
79.level00<00000000000000000000000000000000000000000000000000000000000000000000000=000000000000000000000000000000000000000000000000000
80.formula>000>0000000>00000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000000000000000000>
81.rate0000000000000000000000000000<0000000000000000000000000000000000000000000000000000=00000000000000000000000000000000000000000000
82.rbra00>00000000000000000000000000000000000000000000000000000000000000000000000>000000000000000000000000000000000000000000000000000
83.expression0000>0>0000000000000000000=0>>>>>>>>>>0000000000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
84.limit0000>0=000000000000000000000>00000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
85.constraints10000>00000000000000000000000>00000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
86.metavariables0000000000000000000000=000000<<<<<000000000000000000000000000000000000000000000000000000000=0000000000000000000000000000000000
87.set0000>0>000000000000000000000>00000000000000000000000000000000000000000000>0000000000000000000000000000000000000000000000000000
88.graphname10000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
89.metavariable0000>0>000000000000000>00=>0>>>>>>>>>>>>>>>0000=000000000>000000000000000>0000000>000000000>00>0>00>00>0000000>00000000000>000
90.arc0000000000000000000000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
91.limexpression00000000000000000000000000000<<<<<000000000000000000000000000000000000000000000000000000000=0000000000000000000000000000000000
92.lessrel00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000=00=00<000000<0000000<<<<<000<00000000000000
93.graphbra0000000<00000000000000000000000000000000000000000000000000000000000000000000000000000000<0000=00000000000000000000000000000000
94.node00000000000000000000000000=000000000000000000000000000000<000000000000000000000000000000000000=0000000000000000000000000000000
95.nodekoma0000000<00000000000000000000000000000000000000000000000000000000000000000000000000000000<0000=00000000000000000000000000000000
96.metavariables10000000000000000000000>000000>>>>>00000000000000000000000<000000000000000000000000000000000>0000=00000000000000000000000000000
97.metakoma0000000<00000000000000000000000000000000000000000000000000000000000000000000000000000000=0000000000000000000000000000000000000
98.length0000000000000000000000000000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99.constraints0000>00000000000000000000000>0000000000000000000000000000<000000000000000>0000000000000000000000000=00000000000000000000000000
100.constrkoma00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000000=<0<<<<<000<00000000000000
101.constraint0000>00000000000000000000000>0000000000000000000000000000>000000000000000>0000000000000000000000000>00000000000000000000000000
102.conexpression00000000000000000000000000000<<<<<<<<<0000000000000000000000000000000000000000000000000000000000000000=00000000000000000000000
103.relation00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000=00000<00000000000000<<<<<000<00000000000000
104.expression10000>0>0000000000000000000>0>>>>>>>>>>==00000000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
105.term0000>0>0000000000000000000>0>>>>>>>>>>>>00000000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
106.factor0000>0>0000000000000000000>0>>>>>>>>>>>>===00000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
107.factor10000000000000000000000000000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
108.primary0000>0>0000000000000000000>0>>>>>>>>>>>>>>>00000000000000>000000000000000>0000000>000000000>0000000>00>0000000>00000000000>000
109.mmbra00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000000000<<<<<0=0<00000000000000
110.pexpression0000=0000000000000000000000000000000000000000000000000000<0000000000000000000000000000000000000000000000000000=000000000000000
111.maxminkoma00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000=00000<00000000000000<<<<<000<00000000000000
112.aritmpar00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000000000<<<<<0=0<00000000000000
113.leftpart>000>0000000>0000000000000000000000000000000000000====000>0000000000000000000000000000000000000000000000000000000000000000000>
114.clause>000>0000000>0000000000000000000000000000000000000>>>>000>0000000000000000000000000000000000000000000000000000000000000000000>
115.logterm>000>0000000>0000000000000000000000000000000000000>>>>=00>0000000000000000000000000000000000000000000000000000000000000000000>
116.literal>000>0000000>0000000000000000000000000000000000000>>>>>00>0000000000000000000000000000000000000000000000000000000000000000000>
117.logvar>000>0000000>0000000000000000000000000000000000000>>>>>0=>0000000000000000000000000000000000000000000000000000000000000000000>
118.indexes0000000000000000000000000000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
119.prefixformula>000>0000000>0000000000000000000000000000000000000>>>>>00>0000000000000000000000000000000000000000000000000000000000000000000>
120.logicpar00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000000<00000000000=<<<<00000000000000000000000000000000<<<<<0<<000000
121.indexes10000000000000000000000000000>0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
122.index0000000000000000000000000000>0000000000000000000000000000<0000000000000000000000000000000000000000000000000000000000000000=000
123.indexkoma00<0000<00000000000000000000000000000000000<<0<<<<00000000000000000000000000000000<00000<00000000000000<<<<<000<00000000=<0000
124.formlist0000=0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
125.formlist10000>0000000000000000000000000000000000000000000000000000<0000000000000000000000000000000000000000000000000000000000000000000=
126.formkoma00<0000<<<<<0<<<<<<<<<000000000000000000000000000000000<0000000=000000000000<<<<00000000000000000000000000000000<<<<<0<<000000

Grammar form8.grm is a precedence grammar

Grammar form8.grm is not invertible

Left Context


Symbol123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
60.program000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
61.family*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
62.metaformula*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
63.input*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
64.bigformula*0000000000000000000000000000000000000000000000000000000000000*0000000000**00000000000000000000000000000000000000000000*00000*
65.graphnames000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
66.varnames00000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
67.graphnames1000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
68.grkoma000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000
69.graphname000*0000000000000000000**0000000000000000000*0*00000000000000000000*0000000000000000000000000000000000000000000000000000000000
70.varnames100000*000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
71.varkoma000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000
72.variable00000*0000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000000000000000000000000
73.limits00000000***0*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
74.lbra000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000
75.prefpar00000000000*0******000000000000000000000000000000000000000000000000000000000***00000000000000000000000000000000000000000000000
76.bigformula100000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000*000000
77.atmost*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
78.atleast*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
79.level*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
80.formula*0000000000000000000000000000000000000000000000000***000000000*0000000000**00000000000000000000000000000000000000000000*00000*
81.rate0000000000000000000***00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
82.rbra00000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000
83.expression000000*0***0*000000***00000*0000000000000000000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
84.limit00000000***0*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
85.constraints1000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
86.metavariables00000000***0*000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000
87.set0000000000000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
88.graphname100000000000000000000000**00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
89.metavariable000000*0***0*000000***00000*0000000000*****0000*00000000*0000000000000000000000000000000000**0*0*00*00*00000*0**0000000000*000
90.arc00000000***0*000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
91.limexpression00000000***0*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
92.lessrel0000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000*00000000000000000000000000000000000
93.graphbra00000000***0*000000000000*0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
94.node00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0*0000000000000000000000000000000
95.nodekoma000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000
96.metavariables100000000***0*000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000000000000000000000
97.metakoma00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000
98.length000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99.constraints000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100.constrkoma00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000
101.constraint000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000
102.conexpression000000*00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00000000000000000000000000
103.relation00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000
104.expression1000000*0***0*000000***00000*0000000000000000000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
105.term000000*0***0*000000***00000*0000000000****00000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
106.factor000000*0***0*000000***00000*0000000000****00000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
107.factor1000000*0***0*000000***00000*0000000000****00000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
108.primary000000*0***0*000000***00000*0000000000*****0000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
109.mmbra000000000000000000000000000000000000000000000000**0000000000000000000000000000000000000000000000000000000000000000000000000000
110.pexpression000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*00*00000000000000
111.maxminkoma0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000000000000000
112.aritmpar000000*0***0*000000***00000*0000000000*****0000000000000*0000000000000000000000000000000000*0000000*00*00000*0**0000000000*000
113.leftpart*0000000000000000000000000000000000000000000000000***000000000*0000000000**00000000000000000000000000000000000000000000*00000*
114.clause*0000000000000000000000000000000000000000000000000*****0000000*0000000000**00000000000000000000000000000000000000000000*00000*
115.logterm*0000000000000000000000000000000000000000000000000*****0000000*0000000000**00000000000000000000000000000000000000000000*00000*
116.literal*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
117.logvar*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
118.indexes00000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000000000000000000000
119.prefixformula*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
120.logicpar*0000000000000000000000000000000000000000000000000******000000*0000000000**00000000000000000000000000000000000000000000*00000*
121.indexes100000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000*000
122.index00000000000000000000000000000000000000000000000000000000*00000000000000000000000000000000000000000000000000000000000000000*000
123.indexkoma0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0000
124.formlist00000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000
125.formlist100000000000000000000000000000000000000000000000000000000000000000000000000*000000000000000000000000000000000000000000000000000
126.formkoma0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*0

Right Context


Symbol1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
60.program00000000000000000000000000000000000000000000000000000000000
61.family*0000000000000000000000000000000000000000000000000000000000
62.metaformula*0000000000000000000000000000000000000000000000000000000000
63.input00*0000*****0*********000000000000000000000000000000000*000
64.bigformula*000*0000000*00000000000000000000000000000000000000000000*0
65.graphnames0000*000000000000000000000000000000000000000000000000000000
66.varnames0000*0*0000000000000000000000000000000000000000000000000000
67.graphnames10000*0000000000000000000000000000000000000000000000000000*0
68.grkoma0000000*000000000000000000000000000000000000000000000000000
69.graphname0000*0000000000000000000000000000000000000000*00000000000*0
70.varnames10000*0*00000000000000000000000000000000000000000000000000*0
71.varkoma0000000*000000000000000000000000000000000000000000000000000
72.variable0000*0*00000000000000000000000000000000000000000000000000*0
73.limits0000*00000000000000000000000*000000000000000000000000000000
74.lbra00*0000*****0*********000000000000000000000000000000000*000
75.prefpar00*0000*****0*********000000000000000000000000000000000*000
76.bigformula10000*0000000*0000000000000000000000000000000000000000000000
77.atmost00*00000000000000000000000000000000000000000000000000000000
78.atleast00*00000000000000000000000000000000000000000000000000000000
79.level00*00000000000000000000000000000000000000000000000000000000
80.formula*000*0000000*00000000000000000000000000000000000000000000*0
81.rate0000000000000000000000000000*000000000000000000000000000000
82.rbra00*00000000000000000000000000000000000000000000000000000000
83.expression0000*0*0000000000000000000*0**********0000000000000000000*0
84.limit0000*0*000000000000000000000*000000000000000000000000000000
85.constraints10000*00000000000000000000000*000000000000000000000000000000
86.metavariables0000000000000000000000*000000*****0000000000000000000000000
87.set0000*0*000000000000000000000*000000000000000000000000000000
88.graphname10000*000000000000000000000000000000000000000000000000000000
89.metavariable0000*0*000000000000000*00**0***************0000*000000000*0
90.arc0000000000000000000000*000000000000000000000000000000000000
91.limexpression00000000000000000000000000000*****0000000000000000000000000
92.lessrel00*0000*00000000000000000000000000000000000**0****000000000
93.graphbra0000000*000000000000000000000000000000000000000000000000000
94.node00000000000000000000000000*000000000000000000000000000000*0
95.nodekoma0000000*000000000000000000000000000000000000000000000000000
96.metavariables10000000000000000000000*000000*****00000000000000000000000*0
97.metakoma0000000*000000000000000000000000000000000000000000000000000
98.length0000000000000000000000000000*000000000000000000000000000000
99.constraints0000*00000000000000000000000*0000000000000000000000000000*0
100.constrkoma00*0000*00000000000000000000000000000000000**0****000000000
101.constraint0000*00000000000000000000000*0000000000000000000000000000*0
102.conexpression00000000000000000000000000000*********000000000000000000000
103.relation00*0000*00000000000000000000000000000000000**0****000000000
104.expression10000*0*0000000000000000000*0************00000000000000000*0
105.term0000*0*0000000000000000000*0************00000000000000000*0
106.factor0000*0*0000000000000000000*0***************00000000000000*0
107.factor10000000000000000000000000000*000000000000000000000000000000
108.primary0000*0*0000000000000000000*0***************00000000000000*0
109.mmbra00*0000*00000000000000000000000000000000000**0****000000000
110.pexpression0000*0000000000000000000000000000000000000000000000000000*0
111.maxminkoma00*0000*00000000000000000000000000000000000**0****000000000
112.aritmpar00*0000*00000000000000000000000000000000000**0****000000000
113.leftpart*000*0000000*0000000000000000000000000000000000000****000*0
114.clause*000*0000000*0000000000000000000000000000000000000****000*0
115.logterm*000*0000000*0000000000000000000000000000000000000*****00*0
116.literal*000*0000000*0000000000000000000000000000000000000*****00*0
117.logvar*000*0000000*0000000000000000000000000000000000000*****0**0
118.indexes0000000000000000000000000000*000000000000000000000000000000
119.prefixformula*000*0000000*0000000000000000000000000000000000000*****00*0
120.logicpar00*0000*****0*********000000000000000000000000000000000*000
121.indexes10000000000000000000000000000*000000000000000000000000000000
122.index0000000000000000000000000000*0000000000000000000000000000*0
123.indexkoma00*0000*00000000000000000000000000000000000**0****000000000
124.formlist0000*000000000000000000000000000000000000000000000000000000
125.formlist10000*0000000000000000000000000000000000000000000000000000*0
126.formkoma00*0000*****0*********000000000000000000000000000000000*000


make_BRC started
Equivalent definitions:
`aritmpar' —> ( & `prefpar' —> ( & `logicpar' —> (
`aritmpar' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`aritmpar' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`prefpar' left context: odd , even , exactlyone , atmostone , atleastone , none , eq , `atmost' , `atleast' , `level'
`prefpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`logicpar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logicpar' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg


The left context of `aritmpar' and `prefpar' is different
The left context of `aritmpar' and `logicpar' is different
The left context of `prefpar' and `logicpar' is different

Equivalent definitions:
`graphname' —> #i# & `variable' —> #i# & `metavariable' —> #i# & `logvar' —> #i#
`graphname' left context: graph , V( , E( , |V( , |E( , `grkoma'
`graphname' right context: ) , )| , ,

`variable' left context: var , `varkoma'
`variable' right context: ) , ; , ,

`metavariable' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , | , _{ , `lessrel' , `graphbra' , `nodekoma' , `metakoma' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`metavariable' right context: ) , ; , \in , \leftarrow , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , | , ,

`logvar' left context: # , \sim , \oplus , \to , \vee , \& , \neg , `input' , `lbra' , `prefpar' , `logicpar' , `formkoma'
`logvar' right context: # , ) , : , \sim , \oplus , \to , \vee , \& , _{ , ,


The left context of `graphname' and `variable' is different
The left context of `graphname' and `metavariable' is different
The left context of `graphname' and `logvar' is different
The left context of `variable' and `metavariable' is different
The left context of `variable' and `logvar' is different
The left context of `metavariable' and `logvar' is different

Equivalent definitions:
`lbra' —> } & `rbra' —> }
`lbra' left context: `limits'
`lbra' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg

`rbra' left context: `rate'
`rbra' right context: (


The left context of `lbra' and `rbra' is different

Equivalent definitions:
`lessrel' —> < & `relation' —> <
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \leq & `relation' —> \leq
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec & `relation' —> \prec
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec^+ & `relation' —> \prec^+
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`lessrel' —> \prec^* & `relation' —> \prec^*
`lessrel' left context: `metavariables' , `limexpression'
`lessrel' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`relation' left context: `conexpression'
`relation' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `lessrel' and `relation' is different

Equivalent definitions:
`constrkoma' —> , & `varkoma' —> , & `nodekoma' —> , & `metakoma' —> , & `maxminkoma' —> , & `indexkoma' —> , & `grkoma' —> , & `formkoma' —> ,
`constrkoma' left context: `constraints'
`constrkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`varkoma' left context: `varnames1'
`varkoma' right context: #i#

`nodekoma' left context: `node'
`nodekoma' right context: #i#

`metakoma' left context: `metavariables1'
`metakoma' right context: #i#

`maxminkoma' left context: `pexpression'
`maxminkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`indexkoma' left context: `index'
`indexkoma' right context: ( , #i# , #c# , |V( , |E( , | , min , max

`grkoma' left context: `graphnames1'
`grkoma' right context: #i#

`formkoma' left context: `formlist1'
`formkoma' right context: ( , #i# , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , odd , even , exactlyone , atmostone , atleastone , none , eq , atmost_{ , atleast_{ , level_{ , \neg


The left context of `constrkoma' and `varkoma' is different
The left context of `constrkoma' and `nodekoma' is different
The left context of `constrkoma' and `metakoma' is different
The left context of `constrkoma' and `maxminkoma' is different
The left context of `constrkoma' and `indexkoma' is different
The left context of `constrkoma' and `grkoma' is different
The left context of `constrkoma' and `formkoma' is different
The left context of `varkoma' and `nodekoma' is different
The left context of `varkoma' and `metakoma' is different
The left context of `varkoma' and `maxminkoma' is different
The left context of `varkoma' and `indexkoma' is different
The left context of `varkoma' and `grkoma' is different
The left context of `varkoma' and `formkoma' is different
The left context of `nodekoma' and `metakoma' is different
The left context of `nodekoma' and `maxminkoma' is different
The left context of `nodekoma' and `indexkoma' is different
The left context of `nodekoma' and `grkoma' is different
The left context of `nodekoma' and `formkoma' is different
The left context of `metakoma' and `maxminkoma' is different
The left context of `metakoma' and `indexkoma' is different
The left context of `metakoma' and `grkoma' is different
The left context of `metakoma' and `formkoma' is different
The left context of `maxminkoma' and `indexkoma' is different
The left context of `maxminkoma' and `grkoma' is different
The left context of `maxminkoma' and `formkoma' is different
The left context of `indexkoma' and `grkoma' is different
The left context of `indexkoma' and `formkoma' is different
The left context of `grkoma' and `formkoma' is different

Equivalent definitions:
`graphbra' —> \{ & `mmbra' —> \{
`graphbra' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , \leftarrow
`graphbra' right context: #i#

`mmbra' left context: min , max
`mmbra' right context: ( , #i# , #c# , |V( , |E( , | , min , max


The left context of `graphbra' and `mmbra' is different

Equivalent definitions:
`bigformula1' —> `bigformula' & `metaformula' —> `bigformula' & `formlist1' —> `bigformula'
`bigformula1' left context: `prefpar' , `logicpar'
`bigformula1' right context: ) , :

`metaformula' left context: #
`metaformula' right context: #

`formlist1' left context: `prefpar'
`formlist1' right context: ) , ,


The left context of `bigformula1' and `metaformula' is different
The independent context of `bigformula1' and `formlist1' is not different
independent context didn't help us. I'll try to use the dependent one.


I'll find the subsets of dependent context of `bigformula1'
gamma1: the source is the production
P=27 `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=28 `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=26 `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=104 `literal' -> `logicpar' `bigformula1' )
{`logicpar' )}
gamma1: the source is the production
P=20 `bigformula' -> even `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=21 `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=19 `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=24 `bigformula' -> none `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=25 `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=22 `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
{`prefpar' :}
gamma1: the source is the production
P=23 `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
{`prefpar' :}

The set of dependent context of `bigformula1':
{`prefpar' :} {`logicpar' )}


I'll find the subsets of dependent context of `formlist1'
gamma3: the source is the production
P=121 `formlist1' -> `formlist1' `formkoma' `bigformula'
{`prefpar' ,}
gamma4: the source is the production
P=120 `formlist' -> `formlist1'


I'll find the subsets of dependent context of `formlist'
gamma1: the source is the production
P=115 `prefixformula' -> none `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=116 `prefixformula' -> eq `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=113 `prefixformula' -> atmostone `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=114 `prefixformula' -> atleastone `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=111 `prefixformula' -> even `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=112 `prefixformula' -> exactlyone `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=110 `prefixformula' -> odd `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=118 `prefixformula' -> `atleast' `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=119 `prefixformula' -> `level' `prefpar' `formlist' )
{`prefpar' )}
gamma1: the source is the production
P=117 `prefixformula' -> `atmost' `prefpar' `formlist' )
{`prefpar' )}

The set of dependent context of `formlist':
{`prefpar' )}

The set of dependent context of `formlist1':
{`prefpar' )} {`prefpar' ,}

test_dep_con bigformula1 and formlist1

dependent context of `bigformula1' and `formlist1' is different
The left context of `metaformula' and `formlist1' is different

Equivalent definitions:
`graphname1' —> `graphname' & `graphnames1' —> `graphname'
`graphname1' left context: V( , E(
`graphname1' right context: )

`graphnames1' left context: graph
`graphnames1' right context: ) , ,


The left context of `graphname1' and `graphnames1' is different

Equivalent definitions:
`conexpression' —> `expression' & `rate' —> `expression' & `pexpression' —> `expression' & `limexpression' —> `expression' & `length' —> `expression' & `index' —> `expression'
`conexpression' left context: ; , `constrkoma'
`conexpression' right context: < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq

`rate' left context: atmost_{ , atleast_{ , level_{
`rate' right context: }

`pexpression' left context: `mmbra' , `aritmpar'
`pexpression' right context: ) , ,

`limexpression' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , :
`limexpression' right context: < , \leq , \prec , \prec^+ , \prec^*

`length' left context: B^{
`length' right context: }

`index' left context: _{ , `indexkoma'
`index' right context: } , ,


The left context of `conexpression' and `rate' is different
The left context of `conexpression' and `pexpression' is different
The left context of `conexpression' and `limexpression' is different
The left context of `conexpression' and `length' is different
The left context of `conexpression' and `index' is different
The left context of `rate' and `pexpression' is different
The left context of `rate' and `limexpression' is different
The left context of `rate' and `length' is different
The left context of `rate' and `index' is different
The left context of `pexpression' and `limexpression' is different
The left context of `pexpression' and `length' is different
The left context of `pexpression' and `index' is different
The left context of `limexpression' and `length' is different
The left context of `limexpression' and `index' is different
The left context of `length' and `index' is different

Equivalent definitions:
`metavariables1' —> `metavariable' & `primary' —> `metavariable' & `node' —> `metavariable'
`metavariables1' left context: \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , `lessrel'
`metavariables1' right context: \in , < , \leq , \prec , \prec^+ , \prec^* , ,

`primary' left context: ; , \bigvee_{ , \bigwedge_{ , \bigoplus_{ , : , atmost_{ , atleast_{ , level_{ , B^{ , + , - , * , / , ^{ , _{ , `lessrel' , `constrkoma' , `relation' , `mmbra' , `maxminkoma' , `aritmpar' , `indexkoma'
`primary' right context: ) , ; , \} , } , < , \leq , \prec , \prec^+ , \prec^* , = , \ne , ' , \geq , + , - , * , / , ^{ , ,

`node' left context: `graphbra' , `nodekoma'
`node' right context: \} , ,


The independent context of `metavariables1' and `primary' is not different
independent context didn't help us. I'll try to use the dependent one.


I'll find the subsets of dependent context of `metavariables1'
gamma3: the source is the production
P=47 `metavariables1' -> `metavariables1' `metakoma' `metavariable'
{\bigvee_{ ,} {\bigwedge_{ ,} {\bigoplus_{ ,} {: ,} {`lessrel' ,}
gamma4: the source is the production
P=46 `metavariables' -> `metavariables1'


I'll find the subsets of dependent context of `metavariables'
gamma3: the source is the production
P=38 `limit' -> `metavariables' \in V( `graphname1' )
{\bigvee_{ \in} {\bigwedge_{ \in} {\bigoplus_{ \in} {: \in}
gamma3: the source is the production
P=39 `limit' -> `metavariables' \in E( `graphname1' )
{\bigvee_{ \in} {\bigwedge_{ \in} {\bigoplus_{ \in} {: \in}
gamma3: the source is the production
P=37 `limit' -> `metavariables' \in `set'
{\bigvee_{ \in} {\bigwedge_{ \in} {\bigoplus_{ \in} {: \in}
gamma1: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{`lessrel' <} {`lessrel' \leq} {`lessrel' \prec} {`lessrel' \prec^+} {`lessrel' \prec^*}

The set of dependent context of `metavariables':
{\bigvee_{ \in} {\bigwedge_{ \in} {\bigoplus_{ \in} {: \in} {`lessrel' <} {`lessrel' \leq} {`lessrel' \prec} {`lessrel' \prec^+} {`lessrel' \prec^*}

The set of dependent context of `metavariables1':
{\bigvee_{ \in} {\bigvee_{ ,} {\bigwedge_{ \in} {\bigwedge_{ ,} {\bigoplus_{ \in} {\bigoplus_{ ,} {: \in} {: ,} {`lessrel' <} {`lessrel' \leq} {`lessrel' \prec} {`lessrel' \prec^+} {`lessrel' \prec^*} {`lessrel' ,}


I'll find the subsets of dependent context of `primary'
gamma2: the source is the production
P=81 `factor1' -> `factor' ^{ `primary'
{^{ }}
gamma4: the source is the production
P=80 `factor' -> `primary'


I'll find the subsets of dependent context of `factor'
gamma3: the source is the production
P=77 `term' -> `factor' / `term'
{; /} {\bigvee_{ /} {\bigwedge_{ /} {\bigoplus_{ /} {: /} {atmost_{ /} {atleast_{ /} {level_{ /} {B^{ /} {+ /} {- /} {* /} {/ /} {_{ /} {`lessrel' /} {`constrkoma' /} {`relation' /} {`mmbra' /} {`maxminkoma' /} {`aritmpar' /} {`indexkoma' /}
gamma3: the source is the production
P=76 `term' -> `factor' * `term'
{; *} {\bigvee_{ *} {\bigwedge_{ *} {\bigoplus_{ *} {: *} {atmost_{ *} {atleast_{ *} {level_{ *} {B^{ *} {+ *} {- *} {* *} {/ *} {_{ *} {`lessrel' *} {`constrkoma' *} {`relation' *} {`mmbra' *} {`maxminkoma' *} {`aritmpar' *} {`indexkoma' *}
gamma3: the source is the production
P=81 `factor1' -> `factor' ^{ `primary'
{; ^{} {\bigvee_{ ^{} {\bigwedge_{ ^{} {\bigoplus_{ ^{} {: ^{} {atmost_{ ^{} {atleast_{ ^{} {level_{ ^{} {B^{ ^{} {+ ^{} {- ^{} {* ^{} {/ ^{} {_{ ^{} {`lessrel' ^{} {`constrkoma' ^{} {`relation' ^{} {`mmbra' ^{} {`maxminkoma' ^{} {`aritmpar' ^{} {`indexkoma' ^{}
gamma4: the source is the production
P=78 `term' -> `factor'


I'll find the subsets of dependent context of `term'
gamma2: the source is the production
P=73 `expression1' -> `expression1' + `term'
{+ )} {+ ;} {+ \}} {+ }} {+ <} {+ \leq} {+ \prec} {+ \prec^+} {+ \prec^*} {+ =} {+ \ne} {+ '} {+ \geq} {+ +} {+ -} {+ ,}
gamma2: the source is the production
P=77 `term' -> `factor' / `term'
{/ )} {/ ;} {/ \}} {/ }} {/ <} {/ \leq} {/ \prec} {/ \prec^+} {/ \prec^*} {/ =} {/ \ne} {/ '} {/ \geq} {/ +} {/ -} {/ ,}
gamma2: the source is the production
P=74 `expression1' -> `expression1' - `term'
{- )} {- ;} {- \}} {- }} {- <} {- \leq} {- \prec} {- \prec^+} {- \prec^*} {- =} {- \ne} {- '} {- \geq} {- +} {- -} {- ,}
gamma2: the source is the production
P=76 `term' -> `factor' * `term'
{* )} {* ;} {* \}} {* }} {* <} {* \leq} {* \prec} {* \prec^+} {* \prec^*} {* =} {* \ne} {* '} {* \geq} {* +} {* -} {* ,}
gamma4: the source is the production
P=75 `expression1' -> `term'


I'll find the subsets of dependent context of `expression1'
gamma3: the source is the production
P=73 `expression1' -> `expression1' + `term'
{; +} {\bigvee_{ +} {\bigwedge_{ +} {\bigoplus_{ +} {: +} {atmost_{ +} {atleast_{ +} {level_{ +} {B^{ +} {_{ +} {`lessrel' +} {`constrkoma' +} {`relation' +} {`mmbra' +} {`maxminkoma' +} {`aritmpar' +} {`indexkoma' +}
gamma3: the source is the production
P=74 `expression1' -> `expression1' - `term'
{; -} {\bigvee_{ -} {\bigwedge_{ -} {\bigoplus_{ -} {: -} {atmost_{ -} {atleast_{ -} {level_{ -} {B^{ -} {_{ -} {`lessrel' -} {`constrkoma' -} {`relation' -} {`mmbra' -} {`maxminkoma' -} {`aritmpar' -} {`indexkoma' -}
gamma4: the source is the production
P=72 `expression' -> `expression1'


I'll find the subsets of dependent context of `expression'
gamma1: the source is the production
P=87 `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
{`maxminkoma' \}}
gamma1: the source is the production
P=88 `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
{`maxminkoma' \}}
gamma2: the source is the production
P=61 `constraint' -> `conexpression' `relation' `expression'
{`relation' )} {`relation' }} {`relation' ,}
gamma4: the source is the production
P=62 `conexpression' -> `expression'


I'll find the subsets of dependent context of `conexpression'
gamma3: the source is the production
P=61 `constraint' -> `conexpression' `relation' `expression'
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq}

The set of dependent context of `conexpression':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq}
gamma4: the source is the production
P=34 `rate' -> `expression'


I'll find the subsets of dependent context of `rate'
gamma1: the source is the production
P=33 `level' -> level_{ `rate' `rbra'
{level_{ }}
gamma1: the source is the production
P=32 `atleast' -> atleast_{ `rate' `rbra'
{atleast_{ }}
gamma1: the source is the production
P=31 `atmost' -> atmost_{ `rate' `rbra'
{atmost_{ }}

The set of dependent context of `rate':
{atmost_{ }} {atleast_{ }} {level_{ }}
gamma4: the source is the production
P=90 `pexpression' -> `expression'


I'll find the subsets of dependent context of `pexpression'
gamma1: the source is the production
P=87 `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
{`mmbra' ,}
gamma1: the source is the production
P=88 `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
{`mmbra' ,}
gamma1: the source is the production
P=89 `primary' -> `aritmpar' `pexpression' )
{`aritmpar' )}

The set of dependent context of `pexpression':
{`mmbra' ,} {`aritmpar' )}
gamma4: the source is the production
P=43 `limexpression' -> `expression'


I'll find the subsets of dependent context of `limexpression'
gamma3: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*}

The set of dependent context of `limexpression':
{\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*}
gamma4: the source is the production
P=51 `length' -> `expression'


I'll find the subsets of dependent context of `length'
gamma1: the source is the production
P=50 `set' -> B^{ `length' }
{B^{ }}

The set of dependent context of `length':
{B^{ }}
gamma4: the source is the production
P=109 `index' -> `expression'


I'll find the subsets of dependent context of `index'
gamma3: the source is the production
P=107 `indexes1' -> `index' `indexkoma' `indexes1'
{_{ ,} {`indexkoma' ,}
gamma4: the source is the production
P=108 `indexes1' -> `index'


I'll find the subsets of dependent context of `indexes1'
gamma2: the source is the production
P=107 `indexes1' -> `index' `indexkoma' `indexes1'
{`indexkoma' }}
gamma4: the source is the production
P=106 `indexes' -> `indexes1'


I'll find the subsets of dependent context of `indexes'
gamma1: the source is the production
P=102 `literal' -> `logvar' _{ `indexes' }
{_{ }}

The set of dependent context of `indexes':
{_{ }}

The set of dependent context of `indexes1':
{_{ }} {`indexkoma' }}

The set of dependent context of `index':
{_{ }} {_{ ,} {`indexkoma' }} {`indexkoma' ,}
gamma2: the source is the production
P=42 `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
{`lessrel' )} {`lessrel' ;} {`lessrel' }}

The set of dependent context of `expression':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*} {atmost_{ }} {atleast_{ }} {level_{ }} {B^{ }} {_{ }} {_{ ,} {`lessrel' )} {`lessrel' ;} {`lessrel' }} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq} {`relation' )} {`relation' }} {`relation' ,} {`mmbra' ,} {`maxminkoma' \}} {`aritmpar' )} {`indexkoma' }} {`indexkoma' ,}

The set of dependent context of `expression1':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {; +} {; -} {\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigvee_{ +} {\bigvee_{ -} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigwedge_{ +} {\bigwedge_{ -} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {\bigoplus_{ +} {\bigoplus_{ -} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*} {: +} {: -} {atmost_{ }} {atmost_{ +} {atmost_{ -} {atleast_{ }} {atleast_{ +} {atleast_{ -} {level_{ }} {level_{ +} {level_{ -} {B^{ }} {B^{ +} {B^{ -} {_{ }} {_{ +} {_{ -} {_{ ,} {`lessrel' )} {`lessrel' ;} {`lessrel' }} {`lessrel' +} {`lessrel' -} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq} {`constrkoma' +} {`constrkoma' -} {`relation' )} {`relation' }} {`relation' +} {`relation' -} {`relation' ,} {`mmbra' +} {`mmbra' -} {`mmbra' ,} {`maxminkoma' \}} {`maxminkoma' +} {`maxminkoma' -} {`aritmpar' )} {`aritmpar' +} {`aritmpar' -} {`indexkoma' }} {`indexkoma' +} {`indexkoma' -} {`indexkoma' ,}

The set of dependent context of `term':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {; +} {; -} {\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigvee_{ +} {\bigvee_{ -} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigwedge_{ +} {\bigwedge_{ -} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {\bigoplus_{ +} {\bigoplus_{ -} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*} {: +} {: -} {atmost_{ }} {atmost_{ +} {atmost_{ -} {atleast_{ }} {atleast_{ +} {atleast_{ -} {level_{ }} {level_{ +} {level_{ -} {B^{ }} {B^{ +} {B^{ -} {+ )} {+ ;} {+ \}} {+ }} {+ <} {+ \leq} {+ \prec} {+ \prec^+} {+ \prec^*} {+ =} {+ \ne} {+ '} {+ \geq} {+ +} {+ -} {+ ,} {- )} {- ;} {- \}} {- }} {- <} {- \leq} {- \prec} {- \prec^+} {- \prec^*} {- =} {- \ne} {- '} {- \geq} {- +} {- -} {- ,} {* )} {* ;} {* \}} {* }} {* <} {* \leq} {* \prec} {* \prec^+} {* \prec^*} {* =} {* \ne} {* '} {* \geq} {* +} {* -} {* ,} {/ )} {/ ;} {/ \}} {/ }} {/ <} {/ \leq} {/ \prec} {/ \prec^+} {/ \prec^*} {/ =} {/ \ne} {/ '} {/ \geq} {/ +} {/ -} {/ ,} {_{ }} {_{ +} {_{ -} {_{ ,} {`lessrel' )} {`lessrel' ;} {`lessrel' }} {`lessrel' +} {`lessrel' -} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq} {`constrkoma' +} {`constrkoma' -} {`relation' )} {`relation' }} {`relation' +} {`relation' -} {`relation' ,} {`mmbra' +} {`mmbra' -} {`mmbra' ,} {`maxminkoma' \}} {`maxminkoma' +} {`maxminkoma' -} {`aritmpar' )} {`aritmpar' +} {`aritmpar' -} {`indexkoma' }} {`indexkoma' +} {`indexkoma' -} {`indexkoma' ,}

The set of dependent context of `factor':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {; +} {; -} {; *} {; /} {; ^{} {\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigvee_{ +} {\bigvee_{ -} {\bigvee_{ *} {\bigvee_{ /} {\bigvee_{ ^{} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigwedge_{ +} {\bigwedge_{ -} {\bigwedge_{ *} {\bigwedge_{ /} {\bigwedge_{ ^{} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {\bigoplus_{ +} {\bigoplus_{ -} {\bigoplus_{ *} {\bigoplus_{ /} {\bigoplus_{ ^{} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*} {: +} {: -} {: *} {: /} {: ^{} {atmost_{ }} {atmost_{ +} {atmost_{ -} {atmost_{ *} {atmost_{ /} {atmost_{ ^{} {atleast_{ }} {atleast_{ +} {atleast_{ -} {atleast_{ *} {atleast_{ /} {atleast_{ ^{} {level_{ }} {level_{ +} {level_{ -} {level_{ *} {level_{ /} {level_{ ^{} {B^{ }} {B^{ +} {B^{ -} {B^{ *} {B^{ /} {B^{ ^{} {+ )} {+ ;} {+ \}} {+ }} {+ <} {+ \leq} {+ \prec} {+ \prec^+} {+ \prec^*} {+ =} {+ \ne} {+ '} {+ \geq} {+ +} {+ -} {+ *} {+ /} {+ ^{} {+ ,} {- )} {- ;} {- \}} {- }} {- <} {- \leq} {- \prec} {- \prec^+} {- \prec^*} {- =} {- \ne} {- '} {- \geq} {- +} {- -} {- *} {- /} {- ^{} {- ,} {* )} {* ;} {* \}} {* }} {* <} {* \leq} {* \prec} {* \prec^+} {* \prec^*} {* =} {* \ne} {* '} {* \geq} {* +} {* -} {* *} {* /} {* ^{} {* ,} {/ )} {/ ;} {/ \}} {/ }} {/ <} {/ \leq} {/ \prec} {/ \prec^+} {/ \prec^*} {/ =} {/ \ne} {/ '} {/ \geq} {/ +} {/ -} {/ *} {/ /} {/ ^{} {/ ,} {_{ }} {_{ +} {_{ -} {_{ *} {_{ /} {_{ ^{} {_{ ,} {`lessrel' )} {`lessrel' ;} {`lessrel' }} {`lessrel' +} {`lessrel' -} {`lessrel' *} {`lessrel' /} {`lessrel' ^{} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq} {`constrkoma' +} {`constrkoma' -} {`constrkoma' *} {`constrkoma' /} {`constrkoma' ^{} {`relation' )} {`relation' }} {`relation' +} {`relation' -} {`relation' *} {`relation' /} {`relation' ^{} {`relation' ,} {`mmbra' +} {`mmbra' -} {`mmbra' *} {`mmbra' /} {`mmbra' ^{} {`mmbra' ,} {`maxminkoma' \}} {`maxminkoma' +} {`maxminkoma' -} {`maxminkoma' *} {`maxminkoma' /} {`maxminkoma' ^{} {`aritmpar' )} {`aritmpar' +} {`aritmpar' -} {`aritmpar' *} {`aritmpar' /} {`aritmpar' ^{} {`indexkoma' }} {`indexkoma' +} {`indexkoma' -} {`indexkoma' *} {`indexkoma' /} {`indexkoma' ^{} {`indexkoma' ,}

The set of dependent context of `primary':
{; <} {; \leq} {; \prec} {; \prec^+} {; \prec^*} {; =} {; \ne} {; '} {; \geq} {; +} {; -} {; *} {; /} {; ^{} {\bigvee_{ <} {\bigvee_{ \leq} {\bigvee_{ \prec} {\bigvee_{ \prec^+} {\bigvee_{ \prec^*} {\bigvee_{ +} {\bigvee_{ -} {\bigvee_{ *} {\bigvee_{ /} {\bigvee_{ ^{} {\bigwedge_{ <} {\bigwedge_{ \leq} {\bigwedge_{ \prec} {\bigwedge_{ \prec^+} {\bigwedge_{ \prec^*} {\bigwedge_{ +} {\bigwedge_{ -} {\bigwedge_{ *} {\bigwedge_{ /} {\bigwedge_{ ^{} {\bigoplus_{ <} {\bigoplus_{ \leq} {\bigoplus_{ \prec} {\bigoplus_{ \prec^+} {\bigoplus_{ \prec^*} {\bigoplus_{ +} {\bigoplus_{ -} {\bigoplus_{ *} {\bigoplus_{ /} {\bigoplus_{ ^{} {: <} {: \leq} {: \prec} {: \prec^+} {: \prec^*} {: +} {: -} {: *} {: /} {: ^{} {atmost_{ }} {atmost_{ +} {atmost_{ -} {atmost_{ *} {atmost_{ /} {atmost_{ ^{} {atleast_{ }} {atleast_{ +} {atleast_{ -} {atleast_{ *} {atleast_{ /} {atleast_{ ^{} {level_{ }} {level_{ +} {level_{ -} {level_{ *} {level_{ /} {level_{ ^{} {B^{ }} {B^{ +} {B^{ -} {B^{ *} {B^{ /} {B^{ ^{} {+ )} {+ ;} {+ \}} {+ }} {+ <} {+ \leq} {+ \prec} {+ \prec^+} {+ \prec^*} {+ =} {+ \ne} {+ '} {+ \geq} {+ +} {+ -} {+ *} {+ /} {+ ^{} {+ ,} {- )} {- ;} {- \}} {- }} {- <} {- \leq} {- \prec} {- \prec^+} {- \prec^*} {- =} {- \ne} {- '} {- \geq} {- +} {- -} {- *} {- /} {- ^{} {- ,} {* )} {* ;} {* \}} {* }} {* <} {* \leq} {* \prec} {* \prec^+} {* \prec^*} {* =} {* \ne} {* '} {* \geq} {* +} {* -} {* *} {* /} {* ^{} {* ,} {/ )} {/ ;} {/ \}} {/ }} {/ <} {/ \leq} {/ \prec} {/ \prec^+} {/ \prec^*} {/ =} {/ \ne} {/ '} {/ \geq} {/ +} {/ -} {/ *} {/ /} {/ ^{} {/ ,} {^{ }} {_{ }} {_{ +} {_{ -} {_{ *} {_{ /} {_{ ^{} {_{ ,} {`lessrel' )} {`lessrel' ;} {`lessrel' }} {`lessrel' +} {`lessrel' -} {`lessrel' *} {`lessrel' /} {`lessrel' ^{} {`constrkoma' <} {`constrkoma' \leq} {`constrkoma' \prec} {`constrkoma' \prec^+} {`constrkoma' \prec^*} {`constrkoma' =} {`constrkoma' \ne} {`constrkoma' '} {`constrkoma' \geq} {`constrkoma' +} {`constrkoma' -} {`constrkoma' *} {`constrkoma' /} {`constrkoma' ^{} {`relation' )} {`relation' }} {`relation' +} {`relation' -} {`relation' *} {`relation' /} {`relation' ^{} {`relation' ,} {`mmbra' +} {`mmbra' -} {`mmbra' *} {`mmbra' /} {`mmbra' ^{} {`mmbra' ,} {`maxminkoma' \}} {`maxminkoma' +} {`maxminkoma' -} {`maxminkoma' *} {`maxminkoma' /} {`maxminkoma' ^{} {`aritmpar' )} {`aritmpar' +} {`aritmpar' -} {`aritmpar' *} {`aritmpar' /} {`aritmpar' ^{} {`indexkoma' }} {`indexkoma' +} {`indexkoma' -} {`indexkoma' *} {`indexkoma' /} {`indexkoma' ^{} {`indexkoma' ,}

test_dep_con metavariables1 and primary

dependent context of `metavariables1' and `primary' is different
The left context of `metavariables1' and `node' is different
The left context of `primary' and `node' is different

Grammar form8.grm is BRC(1,1)-reducible

Semantics

Semantics file is form8.sem
#i#=100
#c#=101
P1=1 $P 1: `program' -> # `family' #
P3=2 $P 3: `metaformula' -> `input' `bigformula'
P4=3 $P 4: `metaformula' -> `bigformula'
P5=4 $P 5: `input' -> INPUT ( graph `graphnames' )
P6=5 $P 6: `input' -> INPUT ( var `varnames' )
P7=6 $P 7: `input' -> INPUT ( var `varnames' ; graph `graphnames' )
P9=7 $P 9: `graphnames1' -> `graphnames1' `grkoma' `graphname'
P10=94 $P10: `graphnames1' -> `graphname'
P13=8 $P13: `varnames1' -> `varnames1' `varkoma' `variable'
P14=95 $P14: `varnames1' -> `variable'
P16=9 $P16: `bigformula' -> \bigvee_{ `limits' `lbra' `bigformula'
P17=10 $P17: `bigformula' -> \bigwedge_{ `limits' `lbra' `bigformula'
P18=11 $P18: `bigformula' -> \bigoplus_{ `limits' `lbra' `bigformula'
P19=12 $P19: `bigformula' -> odd `prefpar' `bigformula1' : `limits' )
P20=13 $P20: `bigformula' -> even `prefpar' `bigformula1' : `limits' )
P21=14 $P21: `bigformula' -> exactlyone `prefpar' `bigformula1' : `limits' )
P22=15 $P22: `bigformula' -> atmostone `prefpar' `bigformula1' : `limits' )
P23=16 $P23: `bigformula' -> atleastone `prefpar' `bigformula1' : `limits' )
P24=17 $P24: `bigformula' -> none `prefpar' `bigformula1' : `limits' )
P25=18 $P25: `bigformula' -> eq `prefpar' `bigformula1' : `limits' )
P26=19 $P26: `bigformula' -> `atmost' `prefpar' `bigformula1' : `limits' )
P27=20 $P27: `bigformula' -> `atleast' `prefpar' `bigformula1' : `limits' )
P28=21 $P28: `bigformula' -> `level' `prefpar' `bigformula1' : `limits' )
P29=22 $P29: `bigformula' -> `formula'
P35=23 $P35: `limits' -> `limit' ; `constraints1'
P36=24 $P36: `limits' -> `limit'
P37=25 $P37: `limit' -> `metavariables' \in `set'
P38=26 $P38: `limit' -> `metavariables' \in V( `graphname1' )
P39=27 $P39: `limit' -> `metavariables' \in E( `graphname1' )
P40=28 $P40: `limit' -> `metavariable' \leftarrow `arc' \in E( `graphname1' )
P41=29 $P41: `limit' -> `arc' \in E( `graphname1' )
P42=30 $P42: `limit' -> `limexpression' `lessrel' `metavariables' `lessrel' `expression'
P47=31 $P47: `metavariables1' -> `metavariables1' `metakoma' `metavariable'
P48=32 $P48: `metavariables1' -> `metavariable'
P53=33 $P53: `lessrel' -> <
P54=34 $P54: `lessrel' -> \leq
P55=35 $P55: `lessrel' -> \prec
P56=36 $P56: `lessrel' -> \prec^+
P57=37 $P57: `lessrel' -> \prec^*
P59=38 $P59: `constraints' -> `constraints' `constrkoma' `constraint'
P60=39 $P60: `constraints' -> `constraint'
P61=40 $P61: `constraint' -> `conexpression' `relation' `expression'
P63=41 $P63: `relation' -> <
P64=42 $P64: `relation' -> \leq
P65=43 $P65: `relation' -> \prec
P66=44 $P66: `relation' -> \prec^+
P67=45 $P67: `relation' -> \prec^*
P68=46 $P68: `relation' -> =
P69=47 $P69: `relation' -> \ne
P70=48 $P70: `relation' -> '
P71=49 $P71: `relation' -> \geq
P73=50 $P73: `expression1' -> `expression1' + `term'
P74=51 $P74: `expression1' -> `expression1' - `term'
P75=52 $P75: `expression1' -> `term'
P76=53 $P76: `term' -> `factor' * `term'
P77=54 $P77: `term' -> `factor' / `term'
P78=55 $P78: `term' -> `factor'
P79=56 $P79: `factor' -> `factor1' }
P80=57 $P80: `factor' -> `primary'
P82=58 $P82: `primary' -> #c#
P83=59 $P83: `primary' -> `metavariable'
P84=60 $P84: `primary' -> |V( `graphname' )|
P85=61 $P85: `primary' -> |E( `graphname' )|
P86=62 $P86: `primary' -> | `metavariable' |
P87=63 $P87: `primary' -> min `mmbra' `pexpression' `maxminkoma' `expression' \}
P88=64 $P88: `primary' -> max `mmbra' `pexpression' `maxminkoma' `expression' \}
P89=65 $P89: `primary' -> `aritmpar' `pexpression' )
P91=66 $P91: `formula' -> `leftpart' \sim `formula'
P92=67 $P92: `formula' -> `leftpart' \oplus `formula'
P93=68 $P93: `formula' -> `leftpart' \to `formula'
P94=69 $P94: `formula' -> `leftpart'
P95=70 $P95: `leftpart' -> `leftpart' \vee `clause'
P96=71 $P96: `leftpart' -> `clause'
P97=72 $P97: `clause' -> `logterm' \& `clause'
P98=73 $P98: `clause' -> `logterm'
P99=74 $P99: `logterm' -> \neg `literal'
P100=75 $P100: `logterm' -> `literal'
P101=76 $P101: `literal' -> `logvar'
P102=77 $P102: `literal' -> `logvar' _{ `indexes' }
P103=78 $P103: `literal' -> `prefixformula'
P104=79 $P104: `literal' -> `logicpar' `bigformula1' )
P107=80 $P107: `indexes1' -> `index' `indexkoma' `indexes1'
P108=81 $P108: `indexes1' -> `index'
P110=82 $P110: `prefixformula' -> odd `prefpar' `formlist' )
P111=83 $P111: `prefixformula' -> even `prefpar' `formlist' )
P112=84 $P112: `prefixformula' -> exactlyone `prefpar' `formlist' )
P113=85 $P113: `prefixformula' -> atmostone `prefpar' `formlist' )
P114=86 $P114: `prefixformula' -> atleastone `prefpar' `formlist' )
P115=87 $P115: `prefixformula' -> none `prefpar' `formlist' )
P116=88 $P116: `prefixformula' -> eq `prefpar' `formlist' )
P117=89 $P117: `prefixformula' -> `atmost' `prefpar' `formlist' )
P118=90 $P118: `prefixformula' -> `atleast' `prefpar' `formlist' )
P119=91 $P119: `prefixformula' -> `level' `prefpar' `formlist' )
P121=92 $P121: `formlist1' -> `formlist1' `formkoma' `bigformula'
P122=93 $P122: `formlist1' -> `bigformula'

Result tables


FileSize
form8.prm20
form8.pm16129
form8.t2540
form8.ht6772
form8.sm792
form8.v8136
form8.lc16129
form8.rc16129
form8.dc17392

Finish of CONSTRUCTOR Sun May 20 23:40:23 2001