:- include(mondial).
tc(N,S) :- river(N,R,L,S,_,_,_,_,_,_,_), not (S = null).
tc(N,S) :- river(N,R,L,S2,_,_,_,_,_,_,_), not (R = null), tc(R,S).