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:
{}