| Stack & Word | # | <•\bigwedge_{ | #c# | 1 | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•#c# | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•primary | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
primary
|
| Stack & Word | # | <•\bigwedge_{ | <•factor | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
factor
|
| Stack & Word | # | <•\bigwedge_{ | <•term | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
term
|
| Stack & Word | # | <•\bigwedge_{ | <•expression1 | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
expression1
|
| Stack & Word | # | <•\bigwedge_{ | <•expression | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•limexpression | < | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•limexpression | <•< | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•limexpression | =•lessrel | #i# | b | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| lessrel |
| Stack & Word | # | <•\bigwedge_{ | <•limexpression | =•lessrel | <•#i# | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |
| Stack & Word | # | <•\bigwedge_{ | <•limexpression | =•lessrel | <•metavariable | = | #c# | 5 | } | ( | \bigwedge_{ | #c# | 1 | < | #i# | a | = | #c# | 5 | } | ( | ( | atleastone | ( | #i# | x | _{ | #i# | a | , | #i# | b | , | #i# | i | } | : | #c# | 1 | \leq | #i# | i | \leq | #c# | 10 | ) | ) | ) | ) | # |