Ordering |
Precedence on |
kbo-R |
(r 1) (R 6) (s 1) (S 1) (t 1) (T 1) |
kbo-S |
(r 1) (R 1) (s 1) (S 6) (t 1) (T 1) |
kbo-T |
(r 1) (R 1) (s 1) (S 1) (t 1) (T 6) |
kbo-r |
(r 6) (R 1) (s 1) (S 1) (t 1) (T 1) |
kbo-s |
(r 1) (R 1) (s 6) (S 1) (t 1) (T 1) |
kbo-t |
(r 1) (R 1) (s 1) (S 1) (t 6) (T 1) |
kbo-tsr |
(r 6) (R 1) (s 12) (S 1) (t 18) (T 1) |
ll-TtSsRr |
T t S s R r |
ll-tsrTSR |
t s r T S R |
syl-l-tsrTSR |
t s r T S R |
syl-r-tsrTSR |
t s r T S R |