------------------------------------------
{subsActivityBeforeActivity(a5,a5,9)}

{compObjWrittenByActivityBeforeActivity(x16,a5,a14,30)}

{}

{compObjWrittenByActivityBeforeActivity(x4,a8,a19,8), compObjWrittenByActivityBeforeActivity(x6,a8,a5,10), compObjWrittenByActivityBeforeActivity(x6,a8,a16,35)}

{compObjWrittenByActivityBeforeActivity(x11,a15,a5,12)}