------------------------------------------
{subsActivityBeforeActivity(a6,a6,8), subsActivityBeforeActivity(a19,a19,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x4,a19,a6,9), compObjWrittenByActivityBeforeActivity(x5,a19,a19,12)}