THE ORDER IS NOW THE FOLLOWING:
l « A < B < C
|
|---|
| YOUR SESSION HAS DIGESTED |
|
|---|
| THE FOLLOWING RELATIONS |
|
|---|
|
|---|
THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
{A, B, C, l}
The corresponding rules are the following:
A
1
B
1
C
1
l
3
|
|---|
| USER CREATIONS APPEAR BELOW |
|
|---|
|
|---|
| |
| | |
|---|
|
|---|
| SOME RELATIONS WHICH APPEAR BELOW |
|
|---|
| MAY BE UNDIGESTED |
|
|---|
|
|---|
THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:
{}