------------------------------------------
{compObjWrittenByActivityBeforeActivity(x17,a20,a20,8), subsActivityBeforeActivity(a3,a3,11)}

{compObjWrittenByActivityBeforeActivity(x17,a18,a20,8)}

{compObjWrittenByActivityBeforeActivity(x16,a22,a22,12)}

{compObjWrittenByActivityBeforeActivity(x11,a3,a3,15)}

{redundant(x6,a1,a1,17), compObjWrittenByActivityBeforeActivity(x6,a1,a18,11)}