l(e6) = msp(hv, e5, kim, ks, ker) & l(e7) = msp(hv, e5, avm, ks, av)
& l(e10) = msp(ks, e3, av, us, bmon)
& l(e15) = msp(us, e14, bmon, us, bser)
& l(e16) = msp(us, e14, bmon, us, extmgr)
& l(e18) = msp(us, e13, extmgr, us, exts) & prec(e16, e18) & prec(e15, e18)
& prec(e10, e15) & prec(e10, e18) & prec(e10, e16) & prec(e7, e10)
& prec(e7, e18) & prec(e7, e16) & prec(e7, e15) & prec(e6, e10)
& prec(e6, e18) & prec(e6, e16) & prec(e6, e15).
ms_evt(E) => E = e6 | E = e7 | E = e10 | E = e15 | E = e16 | E = e18.