:- 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).