from(f). to(t). bus(lj1,f,j1,2). bus(lj2,j1,j2,2). bus(lj3,j2,j3,2). bus(lj4,j3,j4,2). bus(lj5,j4,j5,2). bus(lj6,j5,t,2). bus(ljx,j2,t,10). bus(lp1,f,pm1,2). bus(lp1,pm1,p1,2). bus(lp2,p1,p2,4). bus(lp3,p2,pm3,3). bus(lp3,pm3,t,2). bus(lpx,p1,t,10). bus(ls1,f,s1,6). bus(ls1,s1,s2,6). bus(ls2,s2,s3,6). bus(ls2,s3,t,6).