------------------------------------------
{subsActivityBeforeActivity(a6,a6,12)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x6,a13,a24,8)}

{compObjWrittenByActivityBeforeActivity(x4,a6,a17,11), compObjWrittenByActivityBeforeActivity(x6,a6,a13,8)}