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