*rp, n: @ks [av us bmon] +<+ @us bmon us exts
*rp, n: @ks [av us bmon] +<+ @us bmon us exts
bank2.gli
l(e2) = msp(ks, e1, av, us, bmon) & l(e5) = msp(us, e4, bmon, us, exts) & prec(e2, e5). ms_evt(E) => E = e2 | E = e5.
[ bound = 500, input_order ] m4_include(`bank2.gli')m4_dnl m4_include(`bank2_supps.gli')m4_dnl m4_include(`thy.gli')m4_dnl