2. k :
3.
k1:. k1<k 
(m,n:
. n-m
k1 (f:({m..n
}
T). f{m..n} 
T List))
4. m :
5. n :
6. n-m
k
7. f : {m..n
}T
f{m..n} T List
k1:. k1<k (m,n:. n-mk1 (f:({m..n}T). f{m..n} T List))
k
}T
f{m..n} T List| By: |
} * if n m nil else f(m).f{(m+1)..n} fi) T List
THEN SplitOnConclITE |
| 1 |
m
nil T List | Auto |
| 2 |
f(m).f{(m+1)..n} T List | 3 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |